Peter T. Breuer Jonathan P. Bowen Towards Correct Executable Semantics for Z. 185-209 1994 Z User Workshop db/conf/zum/zum1994.html#BreuerB94