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.
@inproceedings{Ganzinger81a,
title = {Programs as Transformations of Algebraic Theories (Extended Abstract)},
author = {Harald Ganzinger},
year = {1981},
tags = { algebra, transformation, program transformation},
researchr = {https://researchr.org/publication/Ganzinger81a},
cites = {0},
citedby = {0},
pages = {32-40},
booktitle = {GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings},
editor = {Wilfried Brauer},
volume = {50},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-10884-X},
}