@proceedings{DBLP:conf/mpc/1992,
  editor    = {Richard S. Bird and
               Carroll Morgan and
               Jim Woodcock},
  title     = {Mathematics of Program Construction, Second International Conference,
               Oxford, UK, June 29 - July 3, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {669},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56625-2},
  doi       = {10.1007/3-540-56625-2},
  isbn      = {3-540-56625-2},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XDvoz8Cp76JikBMc6","bibbaseid":"bird-morgan-woodcock-mathematicsofprogramconstructionsecondinternationalconferenceoxfordukjune29july31992proceedings-1993","downloads":0,"creationDate":"2019-02-02T15:48:53.648Z","title":"Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings","author_short":null,"year":1993,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Richard","S."],"propositions":[],"lastnames":["Bird"],"suffixes":[]},{"firstnames":["Carroll"],"propositions":[],"lastnames":["Morgan"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Woodcock"],"suffixes":[]}],"title":"Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29 - July 3, 1992, Proceedings","series":"Lecture Notes in Computer Science","volume":"669","publisher":"Springer","year":"1993","url":"https://doi.org/10.1007/3-540-56625-2","doi":"10.1007/3-540-56625-2","isbn":"3-540-56625-2","timestamp":"Tue, 14 May 2019 10:00:46 +0200","biburl":"https://dblp.org/rec/bib/conf/mpc/1992","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/mpc/1992,\n editor = {Richard S. Bird and\n Carroll Morgan and\n Jim Woodcock},\n title = {Mathematics of Program Construction, Second International Conference,\n Oxford, UK, June 29 - July 3, 1992, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {669},\n publisher = {Springer},\n year = {1993},\n url = {https://doi.org/10.1007/3-540-56625-2},\n doi = {10.1007/3-540-56625-2},\n isbn = {3-540-56625-2},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/bib/conf/mpc/1992},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Bird, R. S.","Morgan, C.","Woodcock, J."],"key":"DBLP:conf/mpc/1992","id":"DBLP:conf/mpc/1992","bibbaseid":"bird-morgan-woodcock-mathematicsofprogramconstructionsecondinternationalconferenceoxfordukjune29july31992proceedings-1993","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-56625-2"},"downloads":0},"search_terms":["mathematics","program","construction","second","international","conference","oxford","june","july","1992","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}