Bartha, M. 1982. An algebraic definition of attributed transformations. Acta Cybernetica. 5, 4 (Jan. 1982), 409-421.