@inproceedings{ICALP-1972-HitchcockP,
	author        = "Peter Hitchcock and David Michael Ritchie Park",
	booktitle     = "{Proceedings of the Colloquium on Automata, Languages and Programming}",
	isbn          = "0-7204-2074-1",
	pages         = "225--251",
	title         = "{Induction Rules and Termination Proofs}",
	year          = 1972,
}