@book{541742,
	author = {Warnier, Jean Dominique.},
	title = {Logical construction of programs /},
	publisher = {Van Nostrand Reinhold Co.,},
	year = {[1976] c1974.},
	address = {New York :},
	note = {"Published under the auspices of the IBI-ICC."}
}