@book{43401,
	author = {Lassez, Jean-Louis and Plotkin, Gordon.},
	title = {Computational logic},
	publisher = {MIT,},
	year = {1991},
	address = {Cambridge, Mass. :}
}