@book{12585,
	author = {Warnier},
	title = {Logical construction of programs},
	publisher = {Stenfer},
	year = {1974},
	address = {H E}
}