@INPROCEEDINGS{GrayHamiltonSinclairGibsonPower99,
  author = {Gray, David and Hamilton, Geoff and Sinclair, David and Gibson ,
	{J. Paul} and Power, {James F.}},
  title = {Four Logics and a Protocol},
  booktitle = {3rd Irish Workshop on Formal Methods ({IWFM 1999})},
  year = {1999},
  editor = {Andrew Butterfield and Klemens Haegele},
  series = {Electronic Workshops in Computing},
  address = {Galway, Ireland},
  publisher = {BCS},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}