Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska: Formal Semantics for Ward & Mellor's Transformation Schemas. Refine 1994: 14-41