@book{2169,
	author = {Beth, Evert Willem},
	title = {Formal methods},
	publisher = {D. Reidel Publishing},
	year = {1962.},
	address = {Dordrecht}
}