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

by Lawrence C Paulson
Venue:Journal of Automated Reasoning