@InProceedings{GLN02,
  author      = {Jean Goubault-Larrecq and S{\l}awomir Lasota and David Nowak},
  title       = {Logical Relations for Monadic Types},
  booktitle   = {Proceedings of the 15th Annual Conference of
                 the European Association for
		 Computer Science Logic (CSL'02)},
  month       = Sep,
  year        = 2002,
  volume      = 2471,
  pages       = {553--568},
  series      = {LNCS},
  publisher   = {Springer-Verlag},
  url         = {http://link.springer.de/link/service/series/0558/papers/2471/24710553.pdf}
}