@TECHREPORT{Larsen&13a,
  KEY           = "Larsen\&13",
  AUTHOR        = "Peter Gorm Larsen and Kenneth Lausdahl and Peter
                   J\o{}rgensen and Joey Coleman and
                   Sune Wolff and Nick Battle",
  TITLE         = "{Overture VDM-10 Tool Support: User Guide}",
  INSTITUTION   = "The Overture Initiative",
  ADDRESS       = "www.overturetool.org",
  YEAR          = "2013",
  MONTH         = "April",
  NUMBER        = "TR-2010-02",
  SIZE          = "130",
  ANNOTE        = "",
  COMMENT       = "We have the sources PGL"}

%G VDM TOOL OVERTURE

{"_id":{"_str":"53b6a8ce7cc42ee75e000219"},"__v":0,"authorIDs":[],"author_short":["Larsen, P. G.","Lausdahl, K.","Jørgensen, P.","Coleman, J.","Wolff, S.","Battle, N."],"bibbaseid":"larsen-lausdahl-jrgensen-coleman-wolff-battle-overturevdm10toolsupportuserguide-2013","bibdata":{"bibtype":"techreport","type":"techreport","key":"Larsen&13a","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Jørgensen"],"suffixes":[]},{"firstnames":["Joey"],"propositions":[],"lastnames":["Coleman"],"suffixes":[]},{"firstnames":["Sune"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"title":"Overture VDM-10 Tool Support: User Guide","institution":"The Overture Initiative","address":"www.overturetool.org","year":"2013","month":"April","number":"TR-2010-02","size":"130","annote":"","comment":"We have the sources PGL","bibtex":"@TECHREPORT{Larsen&13a,\n KEY = \"Larsen\\&13\",\n AUTHOR = \"Peter Gorm Larsen and Kenneth Lausdahl and Peter\n J\\o{}rgensen and Joey Coleman and\n Sune Wolff and Nick Battle\",\n TITLE = \"{Overture VDM-10 Tool Support: User Guide}\",\n INSTITUTION = \"The Overture Initiative\",\n ADDRESS = \"www.overturetool.org\",\n YEAR = \"2013\",\n MONTH = \"April\",\n NUMBER = \"TR-2010-02\",\n SIZE = \"130\",\n ANNOTE = \"\",\n COMMENT = \"We have the sources PGL\"}\n\n%G VDM TOOL OVERTURE\n","author_short":["Larsen, P. G.","Lausdahl, K.","Jørgensen, P.","Coleman, J.","Wolff, S.","Battle, N."],"id":"Larsen&13a","bibbaseid":"larsen-lausdahl-jrgensen-coleman-wolff-battle-overturevdm10toolsupportuserguide-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.837Z","downloads":0,"keywords":[],"search_terms":["overture","vdm","tool","support","user","guide","larsen","lausdahl","jørgensen","coleman","wolff","battle"],"title":"Overture VDM-10 Tool Support: User Guide","year":2013,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB"]}