Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm. Invariance of Approximate Semantics with Respect to Program Transformations. 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 1-10, Springer, 1981.
Abstract is missing.