Antoni Diller Rosemary Docherty Z and Abstract Machine Notation: A Comparison. 250-263 1994 Z User Workshop db/conf/zum/zum1994.html#DillerD94