Authors: L.Paulson

Citation: L.paulson, Set Theory for Verification: I.From Foundations to Functions, Journal of automated reasoning , 11(3), 1993, pp. 353-390