@book{29926,
	author = {Beth, Evert W.},
	title = {Formal methods : },
	publisher = {D. Reidel Publishing Company,},
	year = {1962.},
	series = {Synthese Library / Editors B. H. Kazemier and D. Vuysje},
	address = {Holland  :}
}