@book{159889,
	author = {LEADBETTER, PETER A.},
	title = {PROLOG FROM SPECIFICATION TO PROTOTYPE},
	publisher = {BLACKWELL SCIENCE INC., MASSACHUSETTS},
	year = {1991}
}