Merging HOL with set theory (1994)

by M J C Gordon