Set theory for verification: II. Induction and recursion (1993)

by Reas