@inproceedings{paper43, title = "Game Semantics for Programming Languages", author = "S. Abramsky", year = "1997", booktitle = "22nd International Symposium on Mathematical Foundations of Computer Science", editor = "I. Privara and P. Ruzicka", pages = "3-4", publisher = "Springer-Verlag", series = "Springer Lecture Notes in Computer Science", volume = "1295", }