Samuel H. Valentine Z--, an Executable Subset of Z. 157-187 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#Valentine91