@book{vdmbook,
  key = "vdmbook",
  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",
  annote = "{\tt {http://www.vdmbook.com}}",
  url = "{\tt {http://www.vdmbook.com}}",
  isbn = "1-85233-881-4"
}