@inproceedings{ICALP-1976-Schwarz,
	author        = "J. Schwarz",
	booktitle     = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
	isbn          = "0-85224-308-1",
	pages         = "131--146",
	title         = "{Event Based Reasoning — A System for Proving Correct Termination of Programs}",
	year          = 1976,
}