Title: Verification of recursive programs
Subjects: Automatic theorem proving, Recursive programming