Jonathan P. Bowen Select Z Bibliography and Frequently Asked Questions. 367-401 1991 conf/zum/1991 Z User Workshop db/conf/zum/zum1991.html#Bowen91