A procedure call proof rule (with a simple explanation) - Gries, David; Levin, Gary (1979)