@inproceedings{denney-jensen-esop-00,
   author = "Ewen Denney and Thomas Jensen",
   booktitle = "Proceedings of the 2000 European Symposium on
                 Programming (ESOP'00)",
   editor = "Gert Smolka",
   month = mar,
   pages = "104--118",
   publisher = "Springer Verlag",
   series = "Lecture Notes in Computer Science",
   title = "{Correctness of Java Card Method Lookup via
		  Logical Relations}",
   volume = "1782",
   year = "2000"
}