@book{24004,
	author = {Hehner},
	title = {A Practical Theory Of Programming}
}