@PROCEEDINGS{SinclairGibson00,
  title = {4th Irish Workshop on Formal Methods {(IWFM 2000)}},
  year = {2000},
  editor = {Sinclair, David and Gibson, {J. Paul}},
  series = {Electronic Workshops in Computing},
  address = {Maynooth, Ireland},
  publisher = {BCS},
  month = jul,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {Irish Workshop on Formal Methods ({IWFM 2000})}
}