@book{84248,
	author = {Beth, E. W.},
	title = {Formal Methods},
	publisher = {D.Reidel Pub.Co.},
	year = {1962},
	address = {Dordrecht}
}