@book{5517,
	author = {Scheurer, Thierry},
	title = {Foundations of Computing: System Development With Set Theory and Logic},
	publisher = {Addison-Wily Publishing Company},
	year = {,1994.},
	address = {Wokingham:},
	edition = {NA},
	note = {Includes Index}
}