Dirk Scholz Carsta Petersohn Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. 28-37 1997 ICFEM db/conf/icfem/icfem1997.html#ScholzP97