@INPROCEEDINGS{Larsen&94d,
  KEY           = "Larsen\&94",
  AUTHOR        = "Peter Gorm Larsen, Tom Brookes, Mike Green and John
                   Fitzgerald",
  TITLE         = "A Comparison of the Conventional and Formal Design
                   of a Secure System Component",
  BOOKTITLE     = "Nordic Seminar on Dependable Computing Systems 1994",
  YEAR          = "1994",
  MONTH         = "August",
  SIZE          = "8",
  ANNOTE        = "",
  COMMENT       = "I have a copy PGL. This is an update of \cite{Brookes&94}"}