@INPROCEEDINGS{Fitzgerald&94a,
  KEY           = "Fitzgerald\&94",
  AUTHOR        = "J.\ Fitzgerald, T.M.\ Brookes, M.A.\ Green, and
                   P.G.\ Larsen",
  EDITOR        = "Denvir, Naftalin, and Bertran",
  TITLE         = "{Formal and Informal Specifications of a Secure
                   System Component: first results in a comparative study}",
  BOOKTITLE     = "Formal Methods Europe '94 -- : Industrial Benefit 
                   of Formal Methods",
  PUBLISHER     = "Springer-Verlag",
  YEAR          = "1994",
  MONTH         = "October",
  PAGES         = "35-44",
  SIZE          = "10",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL"}