An algebraic definition of attributed transformations - Bartha, Miklós (Acta Cybernetica, 1982)