@inproceedings{paper69,
  author = "S. Abramsky and D. Ghica and L. Ong and A. Murawski",
  booktitle = "{TACAS 2004}: Tools and Algorithms for the Construction and Analysis of Systems, 10 International Conference",
  pages = "421-435",
  publisher = "Springer {LNCS}",
  title = "Applying Game Semantics to Compositional Software Modelling and verification",
  volume = "2988",
  year = "2004",
}