@TECHREPORT{Larsen&13b,
  KEY           = "Larsen\&13",
  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle and
                   John Fitzgerald and Sune Wolff and Shin Sahara",
  TITLE         = "{VDM-10 Language Manual}",
  INSTITUTION   = "The Overture Initiative",
  ADDRESS       = "www.overturetool.org",
  YEAR          = "2013",
  MONTH         = "April",
  NUMBER        = "TR-001",
  SIZE          = "208",
  ANNOTE        = "",
  COMMENT       = "We have the sources PGL"}

%G VDM OVERTURE TOOL

{"_id":{"_str":"53b6a8ce7cc42ee75e00020b"},"__v":0,"authorIDs":[],"author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N.","Fitzgerald, J.","Wolff, S.","Sahara, S."],"bibbaseid":"larsen-lausdahl-battle-fitzgerald-wolff-sahara-vdm10languagemanual-2013","bibdata":{"bibtype":"techreport","type":"techreport","key":"Larsen&13b","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]},{"firstnames":["Shin"],"propositions":[],"lastnames":["Sahara"],"suffixes":[]}],"title":"VDM-10 Language Manual","institution":"The Overture Initiative","address":"www.overturetool.org","year":"2013","month":"April","number":"TR-001","size":"208","annote":"","comment":"We have the sources PGL","bibtex":"@TECHREPORT{Larsen&13b,\n KEY = \"Larsen\\&13\",\n AUTHOR = \"Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle and\n John Fitzgerald and Sune Wolff and Shin Sahara\",\n TITLE = \"{VDM-10 Language Manual}\",\n INSTITUTION = \"The Overture Initiative\",\n ADDRESS = \"www.overturetool.org\",\n YEAR = \"2013\",\n MONTH = \"April\",\n NUMBER = \"TR-001\",\n SIZE = \"208\",\n ANNOTE = \"\",\n COMMENT = \"We have the sources PGL\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Larsen, P. G.","Lausdahl, K.","Battle, N.","Fitzgerald, J.","Wolff, S.","Sahara, S."],"id":"Larsen&13b","bibbaseid":"larsen-lausdahl-battle-fitzgerald-wolff-sahara-vdm10languagemanual-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"techreport","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.480Z","downloads":0,"keywords":[],"search_terms":["vdm","language","manual","larsen","lausdahl","battle","fitzgerald","wolff","sahara"],"title":"VDM-10 Language Manual","year":2013,"dataSources":["Ys3ykPbs2mksSbLyZ"]}