@book{2768,
	author = {Scheurer, Thierry},
	title = {Foundations of Computing: System Development With Set Theory and Logic},
	publisher = {Addison Welsey},
	year = {,1994.},
	address = {England:},
	edition = {NA},
	note = {Includes Index}
}