A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls (1986)

by P Pandya, M Joseph
Venue:The Computer Journal