Selected papers that cite this one Albert R. Meyer and John C. Mitchell. Termination assertions for recursive programs: Completeness and axiomatic definability. Information and Control, 56(1/2):112-138, January/February 1983.