@inproceedings{paper68,
  author = "S. Abramsky and D. R. Ghica and L. Ong and A. Murawski",
  booktitle = "Proceedings of {SAVBCS} 2003: Specification and Verification of Component-Based Systems, Workshop at {ESEC/FASE} 2003",
  note = "published as Technical Report 03-11, Department of Computer Science, Iowa State University",
  pages = "66-74",
  title = "Algorithmic Game Semantics and Component-Based Verification",
  url = "{http://www.cs.iastate.edu/~leavens/SAVBCS/2003/papers/SAVCBS03.pdf}",
  year = "2003",
}