Mechanizing Set Theory (1996)

by L C Paulson, K Grabczewski
Venue:Journal of Automated Reasoning