1

Friedrich L. Bauer, Appendix: a philosophy of programming, Language Hierarchies and Interfaces, International Summer School, p.194-241, July 23-August 02, 1975

2

F. L. Bauer, Programming as an evolutionary process, Proceedings of the 2nd international conference on Software engineering, p.223-234, October 13-15, 1976, San Francisco, California, United States

3

{Bauer et al. 76} F. L. Bauer, H. Partsch, P. Pepper, H. Wössner: Techniques for Program Development. Technische Universität München, Institut für Informatik, Interner Bericht, Sept. 1976 Also in: Software Engineering Techniques. Infotech State of the Art Report <u>34</u>, 1977

4

{Bauer et al. 77a} F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner: Notes on the Project CIP: Towards a Wide Spectrum Language to Support Program Development by Transformations. Technische Universität München, Institut für Informatik, TUM-INFO-7722, 1977

5

{Bauer et al. 77b} F. L. Bauer, H. Partsch, P. Pepper, H. Wössner: Notes on the Project CIP: Outline of a Transformation System. Technische Universität München, Institut für Informatik, TUM-INFO-7729, 1977

6

{Broy 77} M. Broy: Program Development for Steinhaus Type Permutation Generating Programs. Technische Universität München, Institut für Informatik, Rep. No. 7701, 1977

7

R. M. Burstall , John Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM (JACM), v.24 n.1, p.44-67, Jan. 1977  [doi>10.1145/321992.321996]

8

Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975  [doi>10.1145/360933.360975]

9

{Geiselbrechtinger et al. 74} F. Geiselbrechtinger, W. Hesse, B. Krieg, H. Scheidig: Language Layers, Portability and Program Structuring. In: W. L. van der Poel, L. Maarsen (eds.): Machine Oriented Higher Level Languages. Amsterdam: North-Holland 1974

10

Susan L. Gerhart, Correctness-preserving program transformations, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.54-66, January 20-22, 1975, Palo Alto, California  [doi>10.1145/512976.512983]

11

{Gnatz 77} R. Gnatz: Zur Konstruktion von Programmen durch Transformation. Technische Universität Mänchen, Institut für Informatik, TUM-INFO-7741, 1977

12

{Gnatz, Pepper 77} R. Gnatz, P. Pepper: fusc: An Example in Program Development. Technische Universität München, Institut für Informatik, TUM-INFO-7711, 1977

13

{Hoare 73} C. A. R. Hoare: Recursive Data Structures. Stanford University A. I. Lab., STAN-CS-73-400, Oct. 1973 Also: Internat. J. Comput. Information Sci. <u>4</u>:2, 105--132 (1975)

14

Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974  [doi>10.1145/356635.356640]

15

{Krieg-Brückner 78} B. Krieg-Brückner: Concrete and Abstract Specification, Modularization and Program Development by Transformation. Dissertation, Technische Universität München, Institut für Informatik, TUM-INFO-7805, 1978

16

B. W. Lampson , J. J. Horning , R. L. London , J. G. Mitchell , G. J. Popek, Report on the programming language Euclid, ACM SIGPLAN Notices, v.12 n.2, p.1-79, February 1977  [doi>10.1145/954666.971189]

17

{Liskov, Zilles 75} B. Liskov, S. Zilles: Specification Techniques for Data Abstraction. IEEE Trans. on Software Eng. <u>1</u>:1, 7--18 (1975)

18

{McCarthy 62} J. McCarthy: Towards a Mathematical Science of Computation. Proc. IFIP Congress 62, München. Amsterdam: North-Holland 1962

19

{McCarthy 63} J. McCarthy: A Basis for a Mathematical Theory of Computation. In: P. Braffort, D. Hirschberg (eds.): Computer Programming and Formal Systems. Amsterdam: North-Holland 1963

20

{Partsch, Pepper 77} H. Partsch, P. Pepper: Program Transformation on Different Levels of Programming. Technische Universität München, Institut für Informatik, TUM-INFO-7715, 1977

21

{Pepper et al. 77} P. Pepper, F. L. Bauer, B. Krieg-Brückner: Development of Data-Structures. Technische Universität München, Institut für Informatik, Internal Report 1977

22

{Scott 76} D. Scott: Data Types as Lattices. SIAM J. on Computing <u>5</u>, 522--587 (1976)

23

Thomas A. Standish , Dennis F. Kibler , James M. Neighbors, Improving and refining programs by program manipulation, Proceedings of the annual conference, p.509-516, October 20-22, 1976, Houston, Texas, United States  [doi>10.1145/800191.805652]

24

{Steinbrüggen 77} R. Steinbrüggen: Equivalent Recursive Definitions of Certain Number Theoretical Functions. Technische Universität München, Institut für Informatik, TUM-INFO-7714, 1977

Robert B. K. Dewar , Micha Shirar , Elia Weixelbaum, Transformational Derivation of a Garbage Collection Algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.4, p.650-667, Oct. 1982

H. Partsch , R. Steinbrüggen, Program Transformation Systems, ACM Computing Surveys (CSUR), v.15 n.3, p.199-236, Sept. 1983

Pamela Zave, The operational versus the conventional approach to software development, Communications of the ACM, v.27 n.2, p.104-118, Feb. 1984

Martin S. Feather, Mappings for rapid prototyping, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.17-24, December 1982

J. Craig Cleaveland, Programming languages considered as abstract data types, Proceedings of the ACM 1980 annual conference, p.236-245, January 1980

Pamela Zave, Operational specification languages, Proceedings of the 1983 annual conference on Computers : Extending the human resource, p.214-222, January 1983

Monika Solanki , Antonio Cau , Hussein Zedan, ASDL: a wide spectrum language for designing web services, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland

F. L. Bauer: colleagues

M. Broy: colleagues

R. Gnatz: colleagues

W. Hesse: colleagues

B. Krieg-Brückner: colleagues

H. Partsch: colleagues

P. Pepper: colleagues

H. Wössner: colleagues