@inproceedings{beeson1986,
	author = {Michael Beeson},
	booktitle = {Logic, Methodology, and Philosophy of Science VII, proceedings of the International Congress, Salzburg, 1983},
	date-added = {2014-11-14 21:40:22 +0000},
	date-modified = {2014-11-14 21:49:25 +0000},
	editor = {Ruth Barcus and Marcus and Dorn and Weingartner},
	keywords = {Logic, Computation},
	note = {This paper has been translated into French and Russian.},
	pages = {51-81},
	title = {Proving programs and programming proofs},
	year = {1986}}

{"_id":"mzwB2Pm7vcuzmyuqE","bibbaseid":"beeson-provingprogramsandprogrammingproofs-1986","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Logic, Methodology, and Philosophy of Science VII, proceedings of the International Congress, Salzburg, 1983","date-added":"2014-11-14 21:40:22 +0000","date-modified":"2014-11-14 21:49:25 +0000","editor":[{"firstnames":["Ruth"],"propositions":[],"lastnames":["Barcus"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Marcus"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Dorn"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Weingartner"],"suffixes":[]}],"keywords":"Logic, Computation","note":"This paper has been translated into French and Russian.","pages":"51-81","title":"Proving programs and programming proofs","year":"1986","bibtex":"@inproceedings{beeson1986,\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic, Methodology, and Philosophy of Science VII, proceedings of the International Congress, Salzburg, 1983},\n\tdate-added = {2014-11-14 21:40:22 +0000},\n\tdate-modified = {2014-11-14 21:49:25 +0000},\n\teditor = {Ruth Barcus and Marcus and Dorn and Weingartner},\n\tkeywords = {Logic, Computation},\n\tnote = {This paper has been translated into French and Russian.},\n\tpages = {51-81},\n\ttitle = {Proving programs and programming proofs},\n\tyear = {1986}}\n\n","author_short":["Beeson, M."],"editor_short":["Barcus, R.","Marcus","Dorn","Weingartner"],"key":"beeson1986","id":"beeson1986","bibbaseid":"beeson-provingprogramsandprogrammingproofs-1986","role":"author","urls":{},"keyword":["Logic","Computation"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","computation"],"search_terms":["proving","programs","programming","proofs","beeson"],"title":"Proving programs and programming proofs","year":1986}