Towards the mechanization of the proofs of some classical theorems of set theory (1993)

by J R Abrial, G LafÆtte