M. Bartha, “An algebraic definition of attributed transformations”, Acta Cybern, vol. 5, no. 4, pp. 409-421, Jan. 1982.