@INPROCEEDINGS{Brookes&96,
  KEY           = "Brookes\&96",
  AUTHOR        = "T.M. Brookes and J.S. Fitzgerald and P.G. Larsen",
  EDITOR        = "Marie-Claude Gaudel and Jim Woodcock",
  TITLE         = "{Formal and Informal Specifications of a secure
                   System Component: Final Results in a Comparative Study}",
  BOOKTITLE     = "FME'96: Industrial Benefit and Advances in Formal Methods",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1996",
  MONTH         = "March",
  PAGES         = "214--227",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}