On the Semantic Relation of Z and HOL.

Thomas Santen On the Semantic Relation of Z and HOL. 96-115 1998 conf/zum/1998 ZUM db/conf/zum/zum1998.html#Santen98