Berthold Hoffmann, Bernd Krieg-Brückner, editors, Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Volume 680 of Lecture Notes in Computer Science, Springer, 1993.
Conference: prospectra1993
@proceedings{prospectra:1993, title = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System}, year = {1993}, tags = {programming languages, transformation language, transformation system, transformation, program transformation}, researchr = {https://researchr.org/publication/prospectra%3A1993}, cites = {0}, citedby = {0}, booktitle = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System}, conference = {prospectra}, editor = {Berthold Hoffmann and Bernd Krieg-Brückner}, volume = {680}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56733-X}, }