@book{23122,
	author = {Warnier},
	title = {Logical Construction Of Systems},
	year = {1981}
}