@book{Bertot+al:2004,
	author = {Yves Bertot and Pierre Casteran and G. Huet and Christine Paulin-Mohring},
	title = {Interactive Theorem Proving and Program Development},
	publisher = {Springer},
	year = 2004
}

{"_id":"RoJL2FoxmsuQM56xN","bibbaseid":"bertot-casteran-huet-paulinmohring-interactivetheoremprovingandprogramdevelopment-2004","author_short":["Bertot, Y.","Casteran, P.","Huet, G.","Paulin-Mohring, C."],"bibdata":{"bibtype":"book","type":"book","author":[{"firstnames":["Yves"],"propositions":[],"lastnames":["Bertot"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Casteran"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Huet"],"suffixes":[]},{"firstnames":["Christine"],"propositions":[],"lastnames":["Paulin-Mohring"],"suffixes":[]}],"title":"Interactive Theorem Proving and Program Development","publisher":"Springer","year":"2004","bibtex":"@book{Bertot+al:2004,\n\tauthor = {Yves Bertot and Pierre Casteran and G. Huet and Christine Paulin-Mohring},\n\ttitle = {Interactive Theorem Proving and Program Development},\n\tpublisher = {Springer},\n\tyear = 2004\n}\n\n","author_short":["Bertot, Y.","Casteran, P.","Huet, G.","Paulin-Mohring, C."],"key":"Bertot+al:2004","id":"Bertot+al:2004","bibbaseid":"bertot-casteran-huet-paulinmohring-interactivetheoremprovingandprogramdevelopment-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["interactive","theorem","proving","program","development","bertot","casteran","huet","paulin-mohring"],"title":"Interactive Theorem Proving and Program Development","year":2004}