Anthony Hall Specifying and Interpreting Class Hierarchies in Z. 120-138 1994 Z User Workshop db/conf/zum/zum1994.html#Hall94