1208 BIBLIOGRAPHY [Cristian 1985] Flaviu Cristian:On Exceptions,Failures and Errors,in Technology and Science of Informatics,vol.4,no.4,July- August 1985. [Cumy1984] Gael A.Curry and Robert M.Ayers:Experience with Traits in the Xerox Star Workstation,in IEEE Transactions on Sofiware Engineering,vol.SE-10,no.5,September 1984,pages 519-527. [Dahl1966] Ole-Johan Dahl and Kristen Nygaard:SIMULA-An Algol-based Simulation Language,in Communications of the ACM,vol.9,no.9,September 1966,pages 671-678 [Dahl 1970] Ole-Johan Dahl,Bjomn Myrhaug and Kristen Nygaard:(Simula 67)Common Base Language,Norsk Regnesentral (Norwegian Computing Center),Publication N.S-22,Oslo,October 1970.(Revised version,February 1984.) [Dahl19721 Ole-Johan Dahl and C.A.R.Hoare:Hierarchical Program Structures,in Dahl,Dijkstra,Hoare,Structured Programming,Academic Press,1972,pages 175-220 [Dami-Web] Web page at http://cuiwww.unige.ch/OSG/Hop/rypes.html,from 1996 on (list of links to articles and researchers on O-0 type theory.) [Date 1995] Chris J.Date:An Introduction to Database Systems,sixth edition,Addison-Wesley,Reading (Mass.)1995. [Dekleva 1992] Sasa M.Dekleva:Software Maintenance:1990 Status,in Software Maintenance:Research and Practice,John Wiley and Sons,New York,vol.4,1992 [DeMarco 1978] Tom DeMarco:Structured Analysis and System Specification,Yourdon Press,New York,1978. [DeMarco 1988] Tom DeMarco and Tim Lister:Peopleware,Dorset Publishing,New York,1988. [DeRemer 1976] Frank DeRemer and Hans H.Kron:Programming-in-the-Large Versus Programming-in-the-Small,in IEEE Transactions on Software Engineering,vol.SE-2,no.2,June 1976,pages 80-86. Dijkstra 1968] Edsger W.Dijkstra:Go To Statement Considered Harmful,in Communications of the ACM,vol.15,no.10, October 1972,pages 859-866. [Dijkstra 1968al Edsger W.Dijkstra:Co-operating Sequential Processes,in Programming Languages,ed.F.Genuys,Academic Press,New York,1968.pp.43-112. [Dijkstra 1976] Edsger W.Dijkstra:A Discipline of Programming,Prentice Hall,Englewood Cliffs(NJ.),1976. [Dijkstra 1978] E.W.Dijkstra,L.Lamport,A.J.Martin,C.S.Scholten and E.F.M.Steffens:On-the-Fly Garbage Collection:An Exercise in Cooperation,in Communications of the ACM,vol.21,no.11,November 1978,pages 966-975. Dubois 1997] Paul Dubois:Object Technology for Scientific Computing,Prentice Hall,Englewood Cliffs(N.J.)1997. Duke 1991] Roger Duke,Paul King,Gordon Rose and Graeme Smith:The Object-Z Specification Language,in TOOLS 5 (Technology ofObject-Oriented Languages and Systems),Santa Barbara,(Calif.),1991,eds.Tim Korson,Vijay Vaishnavi and Bertrand Meyer,Prentice Hall,Englewood Cliffs(N.J.),1991,pages 465-483. [Eliens 1995] Anton Eliens:Principles ofObject-Oriented Soffware Development,Addison-Wesley,Reading (Mass.),1995
1208 BIBLIOGRAPHY [Cristian 1985] Flaviu Cristian: On Exceptions, Failures and Errors, in Technology and Science of Informatics, vol. 4, no. 4, JulyAugust 1985. [Curry 1984] Gael A. Curry and Robert M. Ayers: Experience with Traits in the Xerox Star Workstation, in IEEE Transactions on Software Engineering, vol. SE-10, no. 5, September 1984, pages 519-527. [Dahl 1966] Ole-Johan Dahl and Kristen Nygaard: SIMULA — An Algol-based Simulation Language, in Communications of the ACM, vol. 9, no. 9, September 1966, pages 671-678 [Dahl 1970] Ole-Johan Dahl, Bjorn Myrhaug and Kristen Nygaard: (Simula 67) Common Base Language, Norsk Regnesentral (Norwegian Computing Center), Publication N. S-22, Oslo, October 1970. (Revised version, February 1984.) [Dahl 1972] Ole-Johan Dahl and C.A.R. Hoare: Hierarchical Program Structures, in Dahl, Dijkstra, Hoare, Structured Programming, Academic Press, 1972, pages 175-220 [Dami-Web] Web page at http://cuiwww.unige.ch/OSG/Hop/types.html, from 1996 on (list of links to articles and researchers on O-O type theory.) [Date 1995] Chris J. Date: An Introduction to Database Systems, sixth edition, Addison-Wesley, Reading (Mass.), 1995. [Dekleva 1992] Sasa M. Dekleva: Software Maintenance: 1990 Status, in Software Maintenance: Research and Practice, John Wiley and Sons, New York, vol. 4, 1992. [DeMarco 1978] Tom DeMarco: Structured Analysis and System Specification, Yourdon Press, New York, 1978. [DeMarco 1988] Tom DeMarco and Tim Lister: Peopleware, Dorset Publishing, New York, 1988. [DeRemer 1976] Frank DeRemer and Hans H. Kron: Programming-in-the-Large Versus Programming-in-the-Small, in IEEE Transactions on Software Engineering, vol. SE-2, no. 2, June 1976, pages 80-86. [Dijkstra 1968] Edsger W. Dijkstra: Go To Statement Considered Harmful, in Communications of the ACM, vol. 15, no. 10, October 1972, pages 859-866. [Dijkstra 1968a] Edsger W. Dijkstra: Co-operating Sequential Processes, in Programming Languages, ed. F. Genuys, Academic Press, New York, 1968. pp. 43-112. [Dijkstra 1976] Edsger W. Dijkstra: A Discipline of Programming, Prentice Hall, Englewood Cliffs (N.J.), 1976. [Dijkstra 1978] E. W. Dijkstra, L. Lamport, A.J. Martin, C.S. Scholten and E.F.M. Steffens: On-the-Fly Garbage Collection: An Exercise in Cooperation, in Communications of the ACM, vol. 21, no. 11, November 1978 , pages 966-975. [Dubois 1997] Paul Dubois: Object Technology for Scientific Computing, Prentice Hall, Englewood Cliffs (N.J.) 1997. [Duke 1991] Roger Duke, Paul King, Gordon Rose and Graeme Smith: The Object-Z Specification Language, in TOOLS 5 (Technology of Object-Oriented Languages and Systems), Santa Barbara, (Calif.), 1991, eds. Tim Korson, Vijay Vaishnavi and Bertrand Meyer, Prentice Hall, Englewood Cliffs (N.J.), 1991, pages 465-483. [Eliëns 1995] Anton Eliëns: Principles of Object-Oriented Software Development, Addison-Wesley, Reading (Mass.), 1995
BIBLIOGRAPHY 1209 [E11is1990] Margaret Ellis and Bjarne Stroustrup:The Annotated C++Reference Manual,Addison-Wesley,Reading(Mass.), 1990. [Elmasri 1989] Ramez Elmasri and Shamkant B.Navathe:Fundamentals of Database Systems,Benjamin Cummings,Redwood City (Calif),1989. [Embley 1992] D.W.Embley,B.D.Kurtz,and S.N.Woodfield:Object-oriented Systems Analysis:A Model-driven Approach, Prentice-Hall,Englewood Cliffs(N.J.),1992. [Feldman 1979] Stuart I.Feldman:Make -A Program for Maintaining Computer Programs,in Software,Practice and Experience,vol.9,1979,pages 255-265. [Feldman 1993] Jerome A.Feldman,Chu-Cheow Lim and Thomas Rauber:The Shared-Memory Language pSather on a Distributed-Memory Multiprocessor,in Proc.Workshop on Languages,Compilers and Run-Time Environments for Distributed Memory Multiprocessors,SIGPLAN Notices,vol.28,no.1,January 1993,pages 17-20. [Feldman-Web] Michael B.Feldman and Magnus Kempe (eds.):Ada 95 Textbooks:Brief Reviews,on-line at http:// www.adahome.com/Resources/Books/ada95reviews.html,1996 on. [Firesmith 1995] Donald G.Firesmith and Edward M.Eyckholt:Dictionary of Object Technology,the Definitive Desk Reference, SIGS Books,New York,1995. [Floyd 1967] Robert W.Floyd:Assigning Meanings to Programs,in Proc.American Mathematical Society Symp.in Applied Mathematics,vol.19,1967,pages 19-31. [Futatsugi 1985] Kokichi Futatsugi,Joseph A.Goguen,Jean-Pierre Jouannaud and Jose Meseguer:Principles of OB./2,in Proceedings ofthe 1985 ACM Symposium on Principles of Programming Languages,vol.12,1985,pages 52-66. [Gamma 1995] Erich Gamma,Richard Helm,Ralph Johnson,and John Vlissides:Design Patterns:Elements of Reusable Object- Oriented Soffware,Addison-Wesley,Reading(Mass.),1995. [Gannon 1975] John D.Gannon and Jim J.Homing:Language Design for Programming Reliability,in IEEE Transactions on Software Engineering,vol.SE-1,no.2,June 1975. [Geschke 1975] C.M.Geschke and J.G.Mitchell:On the Problem of Uniform References to Data Structures,in SIGPLAN Notices, vol.10,no.6,June 1975,pages 31-42. [Ghezzi 1991] Carlo Ghezzi,Mehdi Jazayeri,and Dino Mandrioli:Fundamentals of Software Engineering,Prentice Hall, Englewood Cliffs (N.J.),1991. [Ghezzi 1997] Carlo Ghezzi and Mehdi Jazayeri:Programming Language Structures,second edition,John Wiley and Sons, New York,1987;third edition announced for 1997. [Gil1994] Joseph Gil and Ricardo Szmit:Software Boards via Configurable Objects,in TOOLS 14 (Technology of Object- Oriented Languages and Systems),Santa Barbara (California),1994,eds Raimund Ege,Madhu Singh and Bertrand Meyer,Prentice Hall,Englewood Cliffs(N.J.),1994,pages 303-317
BIBLIOGRAPHY 1209 [Ellis 1990] Margaret Ellis and Bjarne Stroustrup: The Annotated C++ Reference Manual, Addison-Wesley, Reading (Mass.), 1990. [Elmasri 1989] Ramez Elmasri and Shamkant B. Navathe: Fundamentals of Database Systems, Benjamin Cummings, Redwood City (Calif.), 1989. [Embley 1992] D.W. Embley, B.D. Kurtz, and S.N. Woodfield: Object-oriented Systems Analysis: A Model-driven Approach, Prentice-Hall, Englewood Cliffs (N.J.), 1992. [Feldman 1979] Stuart I. Feldman: Make — A Program for Maintaining Computer Programs, in Software, Practice and Experience, vol. 9, 1979, pages 255-265. [Feldman 1993] Jerome A. Feldman, Chu-Cheow Lim and Thomas Rauber: The Shared-Memory Language pSather on a Distributed-Memory Multiprocessor; in Proc. Workshop on Languages, Compilers and Run-Time Environments for Distributed Memory Multiprocessors, SIGPLAN Notices, vol. 28, no. 1, January 1993, pages 17-20. [Feldman-Web] Michael B. Feldman and Magnus Kempe (eds.): Ada 95 Textbooks: Brief Reviews, on-line at http:// www.adahome.com/Resources/Books/ada95reviews.html, 1996 on. [Firesmith 1995] Donald G. Firesmith and Edward M. Eyckholt: Dictionary of Object Technology, the Definitive Desk Reference, SIGS Books, New York, 1995. [Floyd 1967] Robert W. Floyd: Assigning Meanings to Programs, in Proc. American Mathematical Society Symp. in Applied Mathematics, vol. 19, 1967, pages 19-31. [Futatsugi 1985] Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud and José Meseguer: Principles of OBJ2, in Proceedings of the 1985 ACM Symposium on Principles of Programming Languages, vol. 12, 1985, pages 52-66. [Gamma 1995] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides: Design Patterns: Elements of Reusable ObjectOriented Software, Addison-Wesley, Reading (Mass.), 1995. [Gannon 1975] John D. Gannon and Jim J. Horning: Language Design for Programming Reliability, in IEEE Transactions on Software Engineering, vol. SE-1, no. 2, June 1975. [Geschke 1975] C.M. Geschke and J.G. Mitchell: On the Problem of Uniform References to Data Structures, in SIGPLAN Notices, vol. 10, no. 6, June 1975, pages 31-42. [Ghezzi 1991] Carlo Ghezzi, Mehdi Jazayeri, and Dino Mandrioli: Fundamentals of Software Engineering, Prentice Hall, Englewood Cliffs (N.J.), 1991. [Ghezzi 1997] Carlo Ghezzi and Mehdi Jazayeri: Programming Language Structures, second edition, John Wiley and Sons, New York, 1987; third edition announced for 1997. [Gil 1994] Joseph Gil and Ricardo Szmit: Software Boards via Configurable Objects, in TOOLS 14 (Technology of ObjectOriented Languages and Systems), Santa Barbara (California), 1994, eds Raimund Ege, Madhu Singh and Bertrand Meyer, Prentice Hall, Englewood Cliffs (N.J.), 1994, pages 303-317
1210 BIBLIOGRAPHY [Gindre 19891 Cyrille Gindre and Frederique Sada:A Development in Eiffel:Design and Implementation of a Network Simulator,in Journal of Object-Oriented Programming,vol.2,no.2,May 1989,pages 27-33,Revised version in[M1992a,pages199-214. [Girod 1991] Xavier Girod:Conception par Objets -MECANO:Une Methode et un Environnement de Construction d'Appplications par Objets,PhD Thesis,Universite Joseph Fourier(Grenoble),21 June 1991. [Goguen 1978] Joseph A.Goguen,J.W.Thatcher and E.G.Wagner:An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types,in Raymond T.Yeh (ed.),Current Trends in Programming Methodology,vol.4,Prentice Hall,Englewood Cliffs (N.J.),1978,pages 80-149. [Goguen 1984] Joseph A.Goguen:Parameterized Programming,in IEEE Transactions on Software Engineering,vol.SE-10,no. 5,September 1984,pages 528-543 [Goldberg 1976] Adele Goldberg and Alan Kay (Eds):Smalltalk-72 Instruction Manual,Technical Report SSL-76-6,Xerox Palo Alto Research Center,March 1976. [Goldberg 1981] Adele Goldberg and others:Special issue on Smalltalk-80,in Byte Magazine,August 1981. [Goldberg 1983] Adele Goldberg and David Robson:Smalltalk-80:The Language and its Implementation,Addison-Wesley, Reading(Mass.),1983 [Goldberg 1985] Adele Goldberg:Smalltalk-80:The Interactive Programming Environment,Addison-Wesley,Reading (Mass.),1985. [Goldberg 1995] Adele Goldberg and Kenneth S.Rubin:Succeeding with Objects:Decision Frameworks for Project Management, Addison-Wesley,Reading(Mass.),1995. [Gore1996] Jacob Gore:Object Structures:Building Object-Oriented Software Components with Eiffel,Addison-Wesley, Reading(Mass.),1996. [Gosling 1996] James Gosling,Bill Joy and Guy Steel,The Java Language Specification,Addison-Wesley,Reading(Mass.),1996. [Gosling 1996a] James Gosling,Frank Yellin and the Java Team:The Java Application Programming Interface,vol.1 (Core Packages)and vol.2(Window Toolkit and Applets),Addison-Wesley,Reading (Mass.),1996. [Graham 1995] Ian Graham:Migrating to Object Technology,Addison-Wesley,Wokingham (U.K.)1995. [Gries 1981] David Gries:The Science of Programming,Springer-Verlag,Berlin-New York,1981 [Guidec 1996] Frederic Guidec,Jean-Marc Jezequel and Jean-Louis Pacherie:An Object-Oriented Framework for Supercomputing,in special issue on Software Engineering for Distributed Computing of the Journal of Systems and Soffware,June 1996. [Guttag 1977] John V.Guttag:Abstract Data Types and the Development of Data Structures,in Communications of the ACM, vol.20,no.6,June 1977,pages 396-404. [Guttag 1978] John V.Guttag and Jim J.Horning:The Algebraic Specification of Abstract Data Types,in Acta Informatica,vol. 10,1978,pages27-52
1210 BIBLIOGRAPHY [Gindre 1989] Cyrille Gindre and Frédérique Sada: A Development in Eiffel: Design and Implementation of a Network Simulator, in Journal of Object-Oriented Programming, vol. 2, no. 2, May 1989, pages 27-33, Revised version in [M 1992a], pages 199-214. [Girod 1991] Xavier Girod: Conception par Objets — MECANO: Une Méthode et un Environnement de Construction d’Appplications par Objets, PhD Thesis, Université Joseph Fourier (Grenoble), 21 June 1991. [Goguen 1978] Joseph A. Goguen, J. W. Thatcher and E. G. Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, in Raymond T. Yeh (ed.), Current Trends in Programming Methodology, vol. 4, Prentice Hall, Englewood Cliffs (N.J.), 1978, pages 80-149. [Goguen 1984] Joseph A. Goguen: Parameterized Programming, in IEEE Transactions on Software Engineering, vol. SE-10, no. 5, September 1984, pages 528-543. [Goldberg 1976] Adele Goldberg and Alan Kay (Eds): Smalltalk-72 Instruction Manual, Technical Report SSL-76-6, Xerox Palo Alto Research Center, March 1976. [Goldberg 1981] Adele Goldberg and others: Special issue on Smalltalk-80, in Byte Magazine, August 1981. [Goldberg 1983] Adele Goldberg and David Robson: Smalltalk-80: The Language and its Implementation, Addison-Wesley, Reading (Mass.), 1983. [Goldberg 1985] Adele Goldberg: Smalltalk-80: The Interactive Programming Environment, Addison-Wesley, Reading (Mass.), 1985. [Goldberg 1995] Adele Goldberg and Kenneth S. Rubin: Succeeding with Objects: Decision Frameworks for Project Management, Addison-Wesley, Reading (Mass.), 1995. [Gore 1996] Jacob Gore: Object Structures: Building Object-Oriented Software Components with Eiffel, Addison-Wesley, Reading (Mass.), 1996. [Gosling 1996] James Gosling, Bill Joy and Guy Steel, The Java Language Specification, Addison-Wesley, Reading (Mass.), 1996. [Gosling 1996a] James Gosling, Frank Yellin and the Java Team: The Java Application Programming Interface, vol.1 (Core Packages) and vol. 2 (Window Toolkit and Applets), Addison-Wesley, Reading (Mass.), 1996. [Graham 1995] Ian Graham: Migrating to Object Technology, Addison-Wesley, Wokingham (U.K.), 1995. [Gries 1981] David Gries: The Science of Programming, Springer-Verlag, Berlin-New York, 1981. [Guidec 1996] Frédéric Guidec, Jean-Marc Jézéquel and Jean-Louis Pacherie: An Object-Oriented Framework for Supercomputing, in special issue on Software Engineering for Distributed Computing of the Journal of Systems and Software, June 1996. [Guttag 1977] John V. Guttag: Abstract Data Types and the Development of Data Structures, in Communications of the ACM, vol. 20, no. 6, June 1977, pages 396-404. [Guttag 1978] John V. Guttag and Jim J. Horning: The Algebraic Specification of Abstract Data Types, in Acta Informatica, vol. 10, 1978, pages 27-52