@book{25864,
	author = {Warnier},
	title = {Logical Construction Of Systems}
}