@inproceedings{Bos2008GoTAL,
   title     = {Formal Semantics in the Real World},
   author    = {Bos, Johan},
   booktitle = {GoTAL 2008},
   editor    = {Ranta, A. and Nordstr{\"o}m, B.},
   series    = {LNAI},
   volume    = {5221},
   pages     = {1--3},
   year      = {2008}
}