@INBOOK{Fitzgerald&95,
  KEY           = "Fitzgerald\&95",
  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and
                   Tom Brookes and Mike Green",
  EDITOR        = "M.G. Hinchey and J.P. Bowen",
  TITLE         = "Applications of Formal Methods",
  CHAPTER       = "14. Developing a Security-critical System using Formal
                   and Convential Methods",
  PAGES         = "333--356",
  PUBLISHER     = "Prentice-Hall International
                   Series in Computer Science",
  YEAR          = "1995",
  ANNOTE        = "",
  COMMENT       = "I have a draft PGL"}