Dave Neilson Machine Support for Z: the zebB Tool. 105-128 1990 conf/zum/1990 Z User Workshop db/conf/zum/zum1990.html#Neilson90