Induction Rules and Termination Proofs (1973)

by P Hitchcock, D Park
Venue:Automutu, Languages and Programming, North-Holland