Antoni Diller Z and Hoare Logics. 59-76 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#Diller91