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

by L C Paulson
Venue:J. Autom. Reasoning