Literaturverzeichnis ABD+99. Dirk Ansorge, Klaus Bergner, Bernhard Deifel, Nicholas Hawlitzky, Christoph Maier, Barbara Paech, Andreas Rausch, Marc Sihling, Veronika Thurner, and Sascha Vogel: Managing componentware development – software reuse and the V-Modell process. In M. Jarke and A. Oberweis (editors): Advanced Information Systems Engineering, 11th International Conference CAiSE’99, Heidelberg, volume 1626 of Lecture Notes in Computer Science, pages 134–148. Springer, 1999, ISBN 3-540-66157-3. Abr05. Jean-Raymond Abrial: The B-Book. Cambridge University Press, 2005. AJ94. Samson Abramsky and Achim Jung: Domain theory. In Samson Abramsky, Dov M. Gabbay, and Thomas Stephen Edward Maibaum (editors): Handbook of Logic in Computer Science, volume 3, pages 1–168. Clarendon Press, 1994. And02. Peter Bruce Andrews: An introduction to mathematical logic and type theory: To Truth Through Proof, volume 27 of Applied Logic Series. Springer, 2nd edition, July 2002, ISBN 978-94-015-9934-4. AVWW95. Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams: Concurrent programming in Erlang. Prentice Hall, 2nd edition, 1995. Bac78. Ralph-Johan Back: On the correctness of refinement steps in program develop- ment. PhD thesis, Åbo Akademi, Department of Computer Science, Helsinki, Finland, 1978. Report A–1978–4. Bas83. Günter Baszenski: Algol 68 Preludes for Arithmetic in Z and Q. Bochum, 2nd edition, September 1983. Bau75. Friedrich Ludwig Bauer: Software engineering. In Friedrich Ludwig Bauer (editor): Advanced Course: Software Engineering, Reprint of the First Edition (February 21 – March 3, 1972), volume 30 of Lecture Notes in Computer Science, pages 522–545. Springer, 1975. Bau82. Rüdeger Baumann: Programmieren mit PASCAL. Chip-Wissen. Vogel-Verlag, Würzburg, 1982. Bau98. Friedrich Ludwig Bauer: Wer erfand den von-Neumann-Rechner? Historische Notizen. Informatik Spektrum, 21(2):84–89, 1998. BB00. Henk Pieter Barendregt and Erik Barendsen: Introduction to lambda calculus. Technical report, Department of Computer Science, Radboud University of Nijmegen, 2000. BBC86. Gilles Bernot, Michel Bidoit, and Christine Choppy: Algebraic semantics of exception handling. In Bernard Robinet and Reinhard Wilhelm (editors): European Symposium on Programming, volume 213 of Lecture Notes in Com- puter Science, pages 173–186, New York, NY, USA, March 1986. Springer, ISBN 3-540-16442-1. © Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019 437 M. Broy, Logische und Methodische Grundlagen der Programm- und Systementwicklung, https://doi.org/10.1007/978-3-658-26302-7 438 Literaturverzeichnis BBG+60. John Warner Backus, Friedrich Ludwig Bauer, Julien Green, Charles Katz, John McCarthy, Alan Jay Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, and Michael Woodger: Report on the algorithmic language ALGOL 60. Communications of the ACM, 3(5):299–314, May 1960, ISSN 0001-0782. Ber89a. Joseph Bertrand: Calcul des probabilités. Gauthier-Villars, 1889. Ber89b. Jan Aldert Bergstra: Algebraic specification. ACM Press Frontier Series. ACM Press and Addison-Wesley, 1989, ISBN 0-201-41635-2. Editors: J. Heering and P. Klint. Ber01. Jan Aldert Bergstra: Handbook of Process Algebra. Elsevier Science Inc., 2001, ISBN 0444828303. Editors: A. Ponse and S.A. Smolka. BFG+93a. Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Huss- mann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, and Ketil Stølen: The requirement and design specification language SPECTRUM. An informal introduction. Version 1.0. Part I. Technical Report TUM-I9311, Technische Universität München, Institut für Informatik, 1993. BFG+93b. Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hussmann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, and Ketil Stølen: The requirement and design specification language SPECTRUM. An informal in- troduction. Version 1.0. Part II. Technical Report TUM-I9312, Technische Universität München, Institut für Informatik, 1993. BG77. Rod Martineau Burstall and Joseph Amadee Goguen: Putting theories together to make specifications.In5th International Joint Conference on Artificial Intelligence, pages 1045–1058, Cambridge, MA, 1977. BHS91. Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma: SDL with Applications from Protocol Specification. Carl Hanser Verlag and Prentice Hall, 1991. Bir48. Garrett Birkhoff: Lattice Theory. AMS, 2nd edition, 1948. Bir95. Garrett Birkhoff: Lattice Theory, volume 25. American Mathematical Society, 3rd edition, 1995. Eighth printing, ISBN 0-8218-1025-1. Bir98. Richard Bird: Introduction to Functional Programming using Haskell. Prentice Hall, 1998. BK85. Jan Aldert Bergstra and Jan Willem Klop: Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77–121, 1985. Bla02. Bruno Blanchet: Introduction to abstract interpretation. Lecture script, http://prosecco.gforge.inria.fr/personal/bblanche/ absint.pdf, 2002. BM04. Michel Bidoit and Peter David Mosses: Casl User Manual, volume 2900 of Lecture Notes in Computer Science. Springer, 2004. IFIP Series. BMPW86. Manfred Broy, Bernhard Möller, Peter Pepper, and Martin Wirsing: Algeb- raic implementations preserve program correctness. Science of Computer Programming, 7:35 – 53, 1986. Bou50. Nicolas Bourbaki: Sur le théorème de Zorn. Archiv der Mathematik, 2(6) :434– 437, 1949/50. Bro87. Rodney Allen Brooks: LISP: Programmieren in Common Lisp. Oldenbourg Wissenschaftsverlag, 1987. Bro88. Manfred Broy: Views of queues. Science of Computer Programming, 11(1):65– 86, 1988. Bro91. Manfred Broy: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3(1):21–57, 1991. Bro98. Manfred Broy: Informatik. Eine grundlegende Einführung (Band 1). Springer, 2. Auflage, 1998. Bro14. Manfred Broy: Modellierung verteilter Systeme, 2014. Vorlesungsskript. BRSK05. Manfred Broy, Andreas Rausch, Marc Sihling und Marco Kuhrmann: IT-Projekte erfolgreich mit dem neuen V-Modell XT. Tagungsband TUM-I0508, Technische Universität München, Mai 2005. Literaturverzeichnis 439 BS12. Stanley Neal Burris and Hanamantagouda Pandappa Sankappanavar: A Course in Universal Algebra. Springer-Verlag, Millenium edition, Novem- ber 2012. http://www.math.uwaterloo.ca/~snburris/htdocs/ UALG/univ-algebra2012.pdf. Bur97. Rainer Burkhardt: UML: Unified Modeling Language. Addison-Wesley, 1997, ISBN 3-8273-1226-4. BW81. Friedrich Ludwig Bauer und Hans Wössner: Algorithmische Sprache und Programmentwicklung. Springer, Berlin Heidelberg New York, 1981, ISBN 978-3-662-05656-1. BW82. Manfred Broy and Martin Wirsing: Partial abstract types. Acta Informatica, 18(1):47–64, March 1982, ISSN 0001-5903. BW99. Gabriele Bannert und Martin Weitzel: Objektorientierter Softwareentwurf mit UML. Addison Wesley Longman, München, 1999. BWP87. Manfred Broy, Martin Wirsing, and Peter Pepper: On the algebraic definition of programming languages. ACM Transactions on Programming Languages and Systems (TOPLAS), 9(1):54–99, 1987. CC79. Patrick Cousot and Radhia Cousot: Constructive versions of Tarski’s fixed point theorems. Pacific Journal of Mathematics, 81(1):43–57, 1979. CEW93. Ingo Claßen, Hartmut Ehrig, and Dietmar Wolz: Algebraic Specification Tech- niques and Tools for Software Development: The ACT Approach. World Scientific, 1993. Cha04. Stephen J. Chapman: Fortran 90/95 for scientists and engineers. McGraw-Hill Higher Education, 2nd edition, 2004. CLRS09. Thomas H. Cormen, Charles Eric Leiserson, Ronald Linn Rivest, and Clif- ford Seth Stein: Introduction to Algorithms. MIT Press, 3rd edition, 2009, ISBN 978-0-262-03384-8. CM94. William F. Clocksin and Christopher Stuart Mellish: Programming in Prolog. Springer, 1994. Coh81. Paul Moritz Cohn: Universal algebra. Mathematics and its applications/6. D. Reidel Publishing Company, revised edition, 1981, ISBN 978-90-277-1254-7. Originally published in 1965 by Harper & Row in the series Harper’s series in modern mathematics. CR93. Alain Marie Albert Colmerauer and Philippe Roussel: The birth of Prolog.In The second ACM SIGPLAN conference on history of programming languages, HOPL-II, pages 37–52. ACM Press, 1993, ISBN 0-89791-570-4. CWo13. CWoo: Homomorphism between partial algebras, March 2013. http:// planetmath.org/homomorphismbetweenpartialalgebras. DDH72. Ole-Johan Dahl, Edsger Wybe Dijkstra, and Charles Antony Richard Hoare: Structured Programming. Academic Press, London New York, 1972. Den91. Ernst Denert: Software-Engineering. Springer, 1991. Dij68. Edsger Wybe Dijkstra: Letters to the editor: go-to statement con- sidered harmful. Communications of the ACM, 11(3):147–148, 1968. Original title: A Case against the GO TO statement, known as EWD 215, http://www.cs.utexas.edu/users/EWD/ transcriptions/EWD02xx/EWD215.html, last accessed on 30 July 2015. Dij75. Edsger Wybe Dijkstra: Guarded commands, non-determinacy, and formal derivation of programs. Communications of the ACM, 18:453–457, 1975. Dij76. Edsger Wybe Dijkstra: A Discipline of Programming. Englewood Cliffs: Prentice Hall, 1976. DN65. Ole-Johan Dahl and Kristen Nygaard: SIMULA: a language for programming and description of discrete event systems. Norwegian Computing Center (NCC), Oslo, May 1965. Introduction and User’s Manual. DP91. Brian Albert Davey and Hilary Ann Priestley: Introduction to lattices and order. Cambridge University Press, 1991. 440 Literaturverzeichnis DW99. Wolfgang Dröschel und Manuela Wiemers: Das V-Modell 97: Der Standard für die Entwicklung von IT-Systemen