@book{10435,
	author = {Thewlis, P. J. / Foxon, B. N. T.},
	title = {From Logic To Computers},
	publisher = {Blackwell Scientific Publications},
	address = {Oxford},
	edition = {-}
}