Event Based Reasoning - A System for Proving Correct Termination of Programs.

J. Schwarz Event Based Reasoning - A System for Proving Correct Termination of Programs. 131-146 1976 ICALP db/conf/icalp/icalp76.html#Schwarz76