default search action
Manfred Nagl
Person information
- affiliation: RWTH Aachen
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [b10]Manfred Nagl:
Software Architectures - Topics Usually Missed in Textbooks. Springer 2024, ISBN 978-3-031-51334-3, pp. 1-332
2010 – 2019
- 2019
- [b9]Manfred Nagl:
Gotik und Informatik: Intelligenter Entwurf damals und heute. Die blaue Stunde der Informatik, Springer Vieweg 2019, ISBN 978-3-662-55517-0 - 2015
- [j18]Manfred Nagl, Otto Spaniol:
Wird Informatik zum Allgemeingut und bedeutungslos? Inform. Spektrum 38(1): 31-36 (2015) - [j17]Christoph Leng, Jens-Martin Loebel, Manfred Nagl, Ludger Porada, Alexander Rabe, Simone Rehm, Katharina Anna Zweig:
Die GI soll wachsen: Zustand und Ideen für ihre Stärkung. Inform. Spektrum 38(4): 296-301 (2015) - 2013
- [j16]Richard Stang, Manfred Nagl:
Kindermedienwelten als Forschungsgegenstand. Projekte des Instituts für angewandte Kindermedienforschung der Hochschule der Medien Stuttgart (HdM) / Children Media World as a research focus. The Institute for applied Children Media Research of the Stuttgart Media University and its projects / Les mondes des médias des enfants comme objet de recherche : Les projets de l'Institut für angewandte Kindermedienforschung der Hochschule der Medien Stuttgart (HdM) (Institut de recherche appliquée des médias des enfants de l'université des médias de Stuttgart). Inf. Wiss. Prax. 64(5): 276-282 (2013) - 2012
- [j15]Cem Mengi, Manfred Nagl:
Refactoring of Automotive Models to Handle the Variant Problem. Softwaretechnik-Trends 32(2) (2012) - [c34]Bernhard Westfechtel, Manfred Nagl:
Graph Transformations for Evolving Domain Knowledge. ICGT 2012: 341-355 - 2011
- [j14]Anne-Thérèse Körtgen, Manfred Nagl:
Tools for consistency management between design products. Comput. Chem. Eng. 35(4): 724-735 (2011) - [j13]Thomas Haase, Manfred Nagl:
Application integration within an integrated design environment. Comput. Chem. Eng. 35(4): 736-747 (2011) - 2010
- [c33]Manfred Nagl:
Software-Werkzeuge - Grundlage für effiziente, komplexe Entwicklungsprozesse. Software Engineering 2010: 3
2000 – 2009
- 2009
- [c32]Daniel Retkowitz, Ibrahim Armac, Manfred Nagl:
Towards Mobility Support in Smart Environments. SEKE 2009: 603-608 - [e17]Manfred Nagl, Hans-Joachim Bargstädt, Michael Hoffmann, Norbert Müller:
Zukunft Ingenieurwissenschaften - Zukunft Deutschland, Beiträge einer 4ING-Fachkonferenz und der ersten Gemeinsamen Plenarversammlung der 4ING-Fakultätentage am 14. und 15.07.2008 an der RWTH Aachen. Springer 2009, ISBN 978-3-540-89608-1 [contents] - 2008
- [p34]Wolfgang Marquardt, Manfred Nagl:
A Model-Driven Approach for A-posteriori Tool Integration. Results of the IMPROVE Project 2008: 3-38 - [p33]Manfred Nagl:
The Interdisciplinary IMPROVE Project. Results of the IMPROVE Project 2008: 61-79 - [p32]Simon M. Becker, Manfred Nagl, Bernhard Westfechtel:
Incremental and Interactive Integrator Tools for Design Product Consistency. Results of the IMPROVE Project 2008: 224-267 - [p31]Markus Heller, Dirk Jäger, Carl-Arndt Krapp, Manfred Nagl, Ansgar Schleicher, Bernhard Westfechtel, René Wörzberger:
An Adaptive and Reactive Management System for Project Coordination. Results of the IMPROVE Project 2008: 300-366 - [p30]Simon M. Becker, Markus Heller, Matthias Jarke, Wolfgang Marquardt, Manfred Nagl, Otto Spaniol, Dirk Thißen:
Synergy by Integrating New Functionality. Results of the IMPROVE Project 2008: 519-526 - [p29]Thomas Haase, P. Klein, Manfred Nagl:
Software Integration and Framework Development. Results of the IMPROVE Project 2008: 555-590 - [p28]Manfred Nagl:
From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model. Results of the IMPROVE Project 2008: 593-604 - [p27]Simon M. Becker, Wolfgang Marquardt, Jan Morbach, Manfred Nagl:
Model Dependencies, Fine-Grained Relations, and Integrator Tools. Results of the IMPROVE Project 2008: 612-620 - [p26]Ri Hai, Thomas Heer, Markus Heller, Manfred Nagl, Ralph Schneider, Bernhard Westfechtel, René Wörzberger:
Administration Models and Management Tools. Results of the IMPROVE Project 2008: 621-628 - [p25]Manfred Nagl:
Process/Product Model: Status and Open Problems. Results of the IMPROVE Project 2008: 629-639 - [p24]Simon M. Becker, Anne-Thérèse Körtgen, Manfred Nagl:
Tools for Consistency Management between Design Products. Results of the IMPROVE Project 2008: 696-710 - [p23]Markus Heller, Manfred Nagl, René Wörzberger, Thomas Heer:
Dynamic Process Management Based upon Existing Systems. Results of the IMPROVE Project 2008: 711-726 - [p22]Thomas Haase, Manfred Nagl:
Service-Oriented Architectures and Application Integration. Results of the IMPROVE Project 2008: 727-740 - [p21]Manfred Nagl:
Review from a Tools' Perspective. Results of the IMPROVE Project 2008: 753-763 - [p20]Wolfgang Marquardt, Manfred Nagl:
Review from an Industrial Perspective. Results of the IMPROVE Project 2008: 764-773 - [p19]Manfred Nagl:
Review from Academic Success Perspective. Results of the IMPROVE Project 2008: 774-779 - [e16]Andy Schürr, Manfred Nagl, Albert Zündorf:
Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5088, Springer 2008, ISBN 978-3-540-89019-5 [contents] - [e15]Manfred Nagl, Wolfgang Marquardt:
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project. Lecture Notes in Computer Science 4970, Springer 2008, ISBN 978-3-540-70551-2 [contents] - 2007
- [j12]Bodo Kraft, Manfred Nagl:
Visual knowledge specification for conceptual design: Definition and tool support. Adv. Eng. Informatics 21(1): 67-83 (2007) - 2006
- [j11]Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach:
Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. Inform. Spektrum 29(3): 210-221 (2006) - [c31]Manfred Nagl:
Universitäre Weiterbildung: Stand, Herausforderung, Probleme. IT-Aus- und Weiterbildung 2006: 99-104 - 2005
- [e14]Manfred Broy, Manfred Nagl, Hans Dieter Rombach, Matthias Jarke:
Perspectives Workshop, 05.10. - 08.10.2005. Dagstuhl Seminar Proceedings 05402, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005 [contents] - [i1]Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [j10]Wolfgang Marquardt, Manfred Nagl:
Workflow and information centered support of design processes - the IMPROVE perspective. Comput. Chem. Eng. 29(1): 65-82 (2004) - [e13]John L. Pfaltz, Manfred Nagl, Boris Böhlen:
Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3062, Springer 2004, ISBN 3-540-22120-4 [contents] - [e12]Juraj Hromkovic, Manfred Nagl, Bernhard Westfechtel:
Graph-Theoretic Concepts in Computer Science, 30th International Workshop,WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers. Lecture Notes in Computer Science 3353, Springer 2004, ISBN 3-540-24132-9 [contents] - 2003
- [b8]Manfred Nagl:
Softwaretechnik mit Ada 95 - Entwicklung großer Systeme. Vieweg 2003, ISBN 978-3-528-15583-4, pp. I-XI, 1-496 - [j9]Manfred Nagl, Bernhard Westfechtel, Ralph Schneider:
Tool support for the management of design processes in chemical engineering. Comput. Chem. Eng. 27(2): 175-197 (2003) - [c30]Bodo Kraft, Manfred Nagl:
Parameterized Specification of Conceptual Design Tools in Civil Engineering. AGTIVE 2003: 90-105 - [e11]Manfred Nagl, Bernhard Westfechtel:
Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen : Symposium / Deutsche Forschungsgemeinschaft, Konferenzschrift, 20.-22. März 2002, Aachen. Wiley-VCH 2003, ISBN 978-3-527-27769-8 [contents] - 2002
- [j8]Anita Behle, Michael Kirchhof, Manfred Nagl, Ralf Welter:
Retrieval of software components using a distributed web system. J. Netw. Comput. Appl. 25(3): 197-222 (2002) - [c29]Manfred Nagl:
Zur Struktur des Workshops und seines Tagungsbandes. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 3-4 - 2000
- [e10]Manfred Nagl, Andy Schürr, Manfred Münch:
Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings. Lecture Notes in Computer Science 1779, Springer 2000, ISBN 3-540-67658-9 [contents]
1990 – 1999
- 1999
- [p18]Walter Eversheim, Manfred Weck, Walter Michaeli, Manfred Nagl, Bernhard Westfechtel, Otto Spaniol:
Die Integrationsproblematik und der SUKITS-Ansatz. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 3-14 - [p17]Manfred Nagl, Bernhard Westfechtel:
Methodische Unterstützung der Produktentwicklung. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 15-96 - [p16]Manfred Nagl, Bernhard Westfechtel:
Konzeption und Realisierung des Integrations-Rahmenwerks. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 97-192 - [p15]Manfred Nagl, Wolfgang Marquardt:
Übersicht über den SFB IMPROVE: Probleme, Ansatz, Lösungsskizze. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 217-250 - [p14]Manfred Nagl, Bernhard Westfechtel:
Verfahrenstechnische Entwicklungsprozesse. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 251-293 - [p13]Manfred Nagl, Bernhard Westfechtel:
Neuartige Methoden und Werkzeuge. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 295-348 - [p12]Manfred Nagl, Bernhard Westfechtel:
Abbildung auf bestehende und neue Plattformen. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 349-386 - [p11]Manfred Nagl, Bernhard Westfechtel:
Integration. Integration von Entwicklungssystemen in Ingenieuranwendungen 1999: 387-440 - [e9]Manfred Nagl, Bernhard Westfechtel:
Integration von Entwicklungssystemen in Ingenieuranwendungen. Springer 1999, ISBN 978-3-540-63920-6 [contents] - 1997
- [c28]Manfred Nagl, Wolfgang Marquardt:
SFB-476 IMPROVE: Informatische Unterstützung übergreifender Entwicklungsprozesse in der Verfahrenstechnik. GI Jahrestagung 1997: 143-154 - [c27]Manfred Nagl, Bernhard Westfechtel:
Workshop: Arbeitsplatzrechner-Integration zur Prozeßverbesserung. GI Jahrestagung 1997: 627-628 - [c26]Stefan Gruner, Manfred Nagl, Andy Schürr:
Integration Tools Supporting Development Processes. Requirements Targeting Software and Systems Engineering 1997: 235-256 - 1996
- [j7]Christine Kohring, Martin Lefering, Manfred Nagl:
A Requirements Engineering Environment within a Tightly-Integrated SDE. Requir. Eng. 1(3): 137-156 (1996) - [p10]Manfred Nagl:
Overview: Introduction, Classification, and Global Approach. IPSEN Book 1996: 1-168 - [p9]Gregor Engels, Manfred Nagl, Wilhelm Schäfer, Bernhard Westfechtel:
Tight Integration on One Document: The Programming Environment. IPSEN Book 1996: 170-177 - [p8]Manfred Nagl:
Summary of Tools: Variety, UI Characteristics, and Flexibility. IPSEN Book 1996: 242-245 - [p7]Manfred Nagl, Andy Schürr:
Summary and Specification Lessons Learned. IPSEN Book 1996: 370-377 - [p6]Manfred Nagl:
Summary and Reuse. IPSEN Book 1996: 494-501 - [p5]Peter Heimann, Carl-Arndt Krapp, Manfred Nagl, Bernhard Westfechtel:
An Adaptable and Reactive Project Management Environment. IPSEN Book 1996: 504-534 - [p4]Manfred Nagl, Andy Schürr, Andreas J. Winter:
Specification in the Large for Graph Grammars. IPSEN Book 1996: 535-555 - [p3]Anita Behle, A. Deparade, Peter Klein, Manfred Nagl:
Specific Application Environments. IPSEN Book 1996: 592-605 - [p2]Manfred Nagl:
Summary and Synergy. IPSEN Book 1996: 606-617 - [p1]Manfred Nagl:
Conclusion: Summary, Evaluation, and Vision. IPSEN Book 1996: 619-652 - [e8]Manfred Nagl:
Building Tightly Integrated Software Development Environments: The IPSEN Approach. Lecture Notes in Computer Science 1170, Springer 1996, ISBN 3-540-61985-2 [contents] - 1995
- [e7]Manfred Nagl:
Graph-Theoretic Concepts in Computer Science, 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1017, Springer 1995, ISBN 3-540-60618-1 [contents] - 1994
- [c25]Manfred Nagl, Andy Schürr:
Software Integration Problems and Coupling of Graph Grammar Specifications. TAGT 1994: 155-169 - 1993
- [j6]Manfred Nagl:
Eng integrierte Software-Entwicklungsumgebungen: Ein Erfahrungsbericht über das IPSEN-Projekt. Inform. Forsch. Entwickl. 8(3): 105-119 (1993) - [j5]Manfred Nagl:
Software-Entwicklungsumgebungen: Einordnung und zukünftige Entwicklungslienien. Inform. Spektrum 16(5): 273-280 (1993) - [c24]Manfred Nagl:
Uniform-Modelling in Graph Grammar Specifications. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 296-311 - 1992
- [b7]Manfred Nagl:
ADA - eine Einführung in die Programmiersprache der Softwaretechnik (4. Aufl.). Vieweg 1992, ISBN 978-3-528-33347-8, pp. I-X, 1-341 - [j4]Gregor Engels, Claus Lewerentz, Manfred Nagl, Wilhelm Schäfer, Andy Schürr:
Building Integrated Software Development Environments Part I: Tool Specification. ACM Trans. Softw. Eng. Methodol. 1(2): 135-167 (1992) - [c23]Manfred Nagl:
Modelling oft Software Architectures: Importance, Notions, Experiences. Informatik zwischen Wissenschaft und Gesellschaft 1992: 180-201 - [c22]Walter Eversheim, Manfred Weck, Walter Michaeli, Manfred Nagl, Otto Spaniol:
The SUTKIS Project: An Approach to a posteriori Integration of CIM Components. GI Jahrestagung 1992: 494-503 - [c21]Manfred Nagl:
Praktikable Ansätze formaler Methoden in der Softwaretechnik. SEUH 1992: 46-48 - [c20]Manfred Nagl:
Werkzeuge in der Software Engineering-Ausbildung (Sitzungsbericht). SEUH 1992: 51-54 - 1991
- [b6]Manfred Nagl:
ADA - eine Einführung in die Programmiersprache der Softwaretechnik (3. Aufl.). Vieweg 1991, ISBN 978-3-528-23347-1, pp. I-X, 1-341 - [c19]Manfred Nagl:
Modeling of Software Architectures: Importance, Notions, Experience. Software Development Environments and CASE Technology 1991: 211-232 - 1990
- [b5]Manfred Nagl:
Softwaretechnik - methodisches Programmieren im Großen. Springer Compass, Springer 1990, ISBN 978-0-387-52705-5, pp. I-XI, 1-387 - [c18]Manfred Nagl:
Graph Grammars which are Suitable for Applications. Graph-Grammars and Their Application to Computer Science 1990: 54-56 - [c17]Manfred Nagl, Andy Schürr:
A Specification Environment for Graph Grammars. Graph-Grammars and Their Application to Computer Science 1990: 599-609 - [e6]Manfred Nagl:
Graph-Theoretic Concepts in Computer Science, 15th International Workshop, WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, Proceedings. Lecture Notes in Computer Science 411, Springer 1990, ISBN 3-540-52292-1 [contents]
1980 – 1989
- 1989
- [c16]Manfred Nagl:
Eine integrierte Softwareentwicklungs-Umgebung - ein alternativer konzeptioneller Ansatz (eingeladener Vortrag). Software-Entwicklung 1989: 21-42 - 1988
- [b4]Manfred Nagl:
Einführung in die Programmiersprache Ada, 2. neubearbeitete und erweiterte Auflage. Vieweg 1988, ISBN 978-3-528-13347-4 - [c15]Gunter Schlageter, Rainer Unland, Wolfgang Wilkes, Rainer Zieschang, G. Maul, Manfred Nagl, Renate Meyer:
OOPS - An Object Oriented Programming System with Integrated Data Management Faciltity. ICDE 1988: 118-125 - 1987
- [c14]Gunter Schlageter, Rainer Unland, Wolfgang Wilkes, Rainer Zieschang, G. Maul, Manfred Nagl, Renate Meyer:
Ein objekt-orientiertes Programmiersystem mit integrierter Datenverwaltungs-Komponente. BTW 1987: 132-151 - [c13]Claus Lewerentz, Manfred Nagl, Bernhard Westfechtel:
On Integration Mechanisms within a Graph-based Software Development Environment. WG 1987: 21-229 - [e5]Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld:
Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. Lecture Notes in Computer Science 291, Springer 1987, ISBN 3-540-18771-5 [contents] - 1986
- [c12]Manfred Nagl:
Set theoretic approaches to graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 41-54 - [c11]Manfred Nagl:
A Software Development Environment based on Graph Technology. Graph-Grammars and Their Application to Computer Science 1986: 458-478 - [c10]Gregor Engels, Manfred Nagl, Wilhelm Schäfer:
On the structure of structure-oriented editors for different applications. SDE 1986: 190-198 - 1984
- [e4]Manfred Nagl, Jürgen Perl:
Proceedings of the WG '83, International Workshop on Graphtheoretic Concepts in Computer Science, June 16-18, 1983, Haus Ohrbeck, near Osnabrück, Germany. Universitätsverlag Rudolf Trauner, Linz 1984, ISBN 3-853-20311-6 [contents] - 1983
- [j3]Gregor Engels, Rupert Gall, Manfred Nagl, Wilhelm Schäfer:
Software specification using graph grammars. Computing 31(4): 317-346 (1983) - [e3]Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg:
Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982. Lecture Notes in Computer Science 153, Springer 1983, ISBN 3-540-12310-5 [contents] - 1982
- [b3]Manfred Nagl:
Einführung in die Programmiersprache Ada, Skriptum für Hörer aller Fachrichtungen. Vieweg 1982, ISBN 3-528-03347-9 - [c9]Manfred Nagl, Gregor Engels, Rupert Gall, Wilhelm Schäfer:
Software specification by graph grammars. Graph-Grammars and Their Application to Computer Science 1982: 267-287 - [c8]Manfred Nagl:
Bibliography on graph-rewriting systems (graph grammars). Graph-Grammars and Their Application to Computer Science 1982: 415-448 - 1981
- [j2]Rupert Gall, Manfred Nagl:
Software-Implementation assoziativer Speicher. Elektron. Rechenanlagen 23(2): 61-71 (1981) - 1980
- [c7]Manfred Nagl:
An Incremental Compiler as Component of a System for Software Generation. Fachtagung über Programmiersprachen 1980: 29-44 - [c6]Manfred Nagl:
Graph Rewriting and Automatic, Machine-Independent Program Optimization. WG 1980: 55-69
1970 – 1979
- 1979
- [b2]Manfred Nagl:
Graph-Grammatiken: Theorie, Anwendungen, Implementierung. Vieweg 1979, ISBN 978-3-528-03338-5, pp. 1-375 - [e2]Manfred Nagl, Hans Jürgen Schneider:
Graphs, Data Structures, Algorithms, Proceedings WG '78, Castle Feuerstein (near Erlangen), Germany. Hanser, Munich 1979 - 1978
- [c5]Manfred Nagl:
A Tutorial and Bibliographical Survey on Graph Grammars. Graph-Grammars and Their Application to Computer Science and Biology 1978: 70-126 - [c4]Eberhard Grötsch, Manfred Nagl:
Explicit versus Implicit Parallel Rewriting on Graphs. Graph-Grammars and Their Application to Computer Science and Biology 1978: 237-254 - 1977
- [c3]Manfred Nagl:
On the Relation Between Graph Grammars and Graph L-Systems. FCT 1977: 142-151 - [c2]Wolfgang Brendel, Horst Bunke, Manfred Nagl:
Syntaxgesteuerte Programmierung und inkrementelle Compilation. GI Jahrestagung 1977: 57-73 - 1976
- [j1]Manfred Nagl:
Formal languages of labelled graphs. Computing 16(1-2): 113-137 (1976) - [e1]Hans Jürgen Schneider, Manfred Nagl:
Programmiersprachen, 4. Fachtagung der GI, Erlangen, 8.-10. März 1976, Proceedings. Informatik-Fachberichte 1, Springer 1976, ISBN 3-540-07619-0 [contents] - 1975
- [c1]Manfred Nagl:
On a Generalization of Lindenmayer-Systems to Labelled Graphs. Automata, Languages, Development 1975: 487-508 - 1974
- [b1]Manfred Nagl:
Formale Sprachen von markierten Graphen. University of Erlangen, Germany, Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 7,4, 1974, pp. 1-110