Harald Ganzinger. Programs as Transformations of Algebraic Theories (Extended Abstract). In Wilfried Brauer, editor, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Volume 50 of Informatik-Fachberichte, pages 32-40, Springer, 1981.
Abstract is missing.