@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           = "http://www.vdmbook.com",
  ISBN          = "1-85233-881-4",
  ANNOTE        = "",
  COMMENT       = "PGL"}
  
% Validated Designs for Object-oriented Systems (in Japanese), Hiroshi Sakoh, 2010, ISBN-10: 479811961X (Amazon link).

%G VDM TUTOR FORMAL

{"_id":{"_str":"53b6edc97cc42ee75e000348"},"__v":0,"authorIDs":[],"author_short":["Fitzgerald, J.","Larsen, P. G.","Mukherjee, P.","Plat, N.","Verhoef, M."],"bibbaseid":"fitzgerald-larsen-mukherjee-plat-verhoef-validateddesignsforobjectorientedsystems-2005","bibdata":{"bibtype":"book","type":"book","key":"Fitzgerald&05","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Mukherjee"],"suffixes":[]},{"firstnames":["Nico"],"propositions":[],"lastnames":["Plat"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Validated Designs for Object–oriented Systems","publisher":"Springer, New York","year":"2005","url":"http://www.vdmbook.com","isbn":"1-85233-881-4","annote":"","comment":"PGL","bibtex":"@BOOK{Fitzgerald&05,\n KEY = \"Fitzgerald\\&05\",\n AUTHOR = \"John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and\n Nico Plat and Marcel Verhoef\",\n TITLE = \"{Validated Designs for Object--oriented Systems}\",\n PUBLISHER = \"Springer, New York\",\n YEAR = \"2005\",\n URL = \"http://www.vdmbook.com\",\n ISBN = \"1-85233-881-4\",\n ANNOTE = \"\",\n COMMENT = \"PGL\"}\n \n% Validated Designs for Object-oriented Systems (in Japanese), Hiroshi Sakoh, 2010, ISBN-10: 479811961X (Amazon link).\n\n%G VDM TUTOR FORMAL\n","author_short":["Fitzgerald, J.","Larsen, P. G.","Mukherjee, P.","Plat, N.","Verhoef, M."],"id":"Fitzgerald&05","bibbaseid":"fitzgerald-larsen-mukherjee-plat-verhoef-validateddesignsforobjectorientedsystems-2005","role":"author","urls":{"Paper":"http://www.vdmbook.com"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"http://lausdahl.github.io/overturetool.github.io/publications/overtureweb.bib","creationDate":"2014-07-04T18:09:13.327Z","downloads":0,"keywords":[],"search_terms":["validated","designs","object","oriented","systems","fitzgerald","larsen","mukherjee","plat","verhoef"],"title":"Validated Designs for Object–oriented Systems","year":2005,"dataSources":["Ry4ofsSkWAkHhY8ov"]}