Dave Neilson Divya Prasad zedB: A Proof Tool for Z Built on B. 243-258 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#NeilsonP91