Carsta Petersohn Willem P. de Roever Cornelis Huizing Jan Peleska Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. 59-76 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#PetersohnRHP94 http://dx.doi.org/10.1007/3-540-58426-9_124