@BOOK{Fitzgerald&05,
  KEY           = "Fitzgerald\&05",
  AUTHOR        = "John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and
                   Nico Plat and Marcel Verhoef",
  TITLE         = "{Validated Designs for Object--oriented Systems}",
  PUBLISHER     = "Springer, New York",
  YEAR          = "2005",
  URL           = "{\tt {http://www.vdmbook.com}}",
  ISBN          = "1-85233-881-4",
  ANNOTE        = "",
  COMMENT       = "PGL"}