@INPROCEEDINGS{SinclairPowerGibsonGrayHamilton00,
  author = {Sinclair, David and Power, {James F.} and Gibson, {J. Paul} and Gray,
	David and Hamilton, Geoff },
  title = {Specifying and Verifying {IP} with Linear Logic},
  booktitle = {{ICDCS} Workshop on Distributed System Validation and Verification},
  year = {2000},
  editor = {Ten-Hwang Lai},
  pages = {E104-E110},
  address = {Taiwan, ROC},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}