E Bibliography This bibliography has two parts:works by other authors;works by the author of the present book.See also,in the chapter on inheritance methodology(page 868),a list of references on classification in the biological sciences. E.1 WORKS BY OTHER AUTHORS [Abrial 1980] Jean-Raymond Abrial:The Specification Language Z:Syntax and "Semantics",Oxford University Computing Laboratory,Programming Research Group Technical Report,Oxford,April 1980. [Abrial 1980al Jean-Raymond Abrial,Stephen A.Schuman and Bertrand Meyer:A Specification Language,in On the Construction of Programs,eds.R.McNaughten and R.C.McKeag,Cambridge University Press,1980. [Ada 95-Web] Ada 95 Reference Manual:Language and Standard Library,on-line at http:/lIglwww.epfl.chlAdalLRM/9XI rm9x/rm9x-toc.html. [ADB1995] Matisse 2.3 Tutorial,Report DE/95/03/0022-M2DOC-TUA,ADB S.A.,Paris,January 1995. [Agha1986] Gul Agha:ACTORS:A Model of Concurrent Computation in Distributed Systems,MIT Press,Cambridge (Mass.),1986. [Agha1988] Gul Agha,Peter Wegner and Akinori Yonezawa (eds.)Proceeding ofthe ACMSIGPLAN Workshop on Object- Based Concurrent Programming,San Diego,26-27 September,1988;in ACM SIGPLAN Notices,vol.24,no. 4,1988. [Agha1990] Gul Agha:Concurrent Object-Oriented Programming,in Communications of the ACM,vol.33,no.9, September 1990,pages 125-141. [Agha1991] Gul Agha,Carl Hewitt,Peter Wegner and Akinori Yonezawa (eds.)Proceedings of the ECOOP-OOPSLA Workshop on Object-Based Concurrent Programming,Ottawa,21-22 October 1990;in OOPS Messenger (ACM),vol.2,no.2,April 1991. [Agha1993] Gul Agha,Peter Wegner and Akinori Yonezawa(eds.):Research Directions in Concurrent Object-Oriented Programming,MIT Press,Cambridge(Mass.)1993. [Aho1974 Alfred V.Aho,John E.Hopcroft and Jeffrey D.Ullman:The Design and Analysis of Computer Algorithms, Addison-Wesley,Reading(Mass.)1974
E Bibliography This bibliography has two parts: works by other authors; works by the author of the present book. See also, in the chapter on inheritance methodology (page 868), a list of references on classification in the biological sciences. E.1 WORKS BY OTHER AUTHORS [Abrial 1980] Jean-Raymond Abrial: The Specification Language Z: Syntax and "Semantics", Oxford University Computing Laboratory, Programming Research Group Technical Report, Oxford, April 1980. [Abrial 1980a] Jean-Raymond Abrial, Stephen A.Schuman and Bertrand Meyer: A Specification Language, in On the Construction of Programs, eds. R. McNaughten and R.C. McKeag, Cambridge University Press, 1980. [Ada 95-Web] Ada 95 Reference Manual: Language and Standard Library, on-line at http://lglwww.epfl.ch/Ada/LRM/9X/ rm9x/rm9x-toc.html. [ADB 1995] Matisse 2.3 Tutorial, Report DE/95/03/0022-M2DOC-TUA, ADB S.A., Paris, January 1995. [Agha 1986] Gul Agha: ACTORS: A Model of Concurrent Computation in Distributed Systems; MIT Press, Cambridge (Mass.), 1986. [Agha 1988] Gul Agha, Peter Wegner and Akinori Yonezawa (eds.): Proceeding of the ACM SIGPLAN Workshop on ObjectBased Concurrent Programming, San Diego, 26-27 September, 1988; in ACM SIGPLAN Notices, vol. 24, no. 4, 1988. [Agha 1990] Gul Agha: Concurrent Object-Oriented Programming, in Communications of the ACM, vol. 33, no. 9, September 1990, pages 125-141. [Agha 1991] Gul Agha, Carl Hewitt, Peter Wegner and Akinori Yonezawa (eds.): Proceedings of the ECOOP-OOPSLA Workshop on Object-Based Concurrent Programming, Ottawa, 21-22 October 1990; in OOPS Messenger (ACM), vol. 2, no. 2, April 1991. [Agha 1993] Gul Agha, Peter Wegner and Akinori Yonezawa (eds.): Research Directions in Concurrent Object-Oriented Programming, MIT Press, Cambridge (Mass.), 1993. [Aho 1974] Alfred V. Aho , John E. Hopcroft and Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading (Mass.), 1974
1204 BIBLIOGRAPHY [Aho1983] Alfred V.Aho,John E.Hopcroft and Jeffrey D.Ullman:Data Structures and Algorithms,Addison-Wesley, Reading(Mass.),1983. [Alagar 1995] Vangalur S.Alagar and Rokia Missaoui (eds.)Object-Oriented Technology for Database and Software Systems, Wold Scientific Publishers,Singapore,1995. [America 1989] Pierre America and Marcel Beemster.A portable implementation of the language POOL;in TOOLS I (Proceedings ofTOOLS EUROPE 1989),ed.Jean Bezivin,SOL,Paris,1989,pages 347-353. [America 1989al Pierre America:Book Review:"Object-Oriented Software Construction"(a review of the first edition of the present book,[M 1988]),Science of Computer Programming,vol.12,1989,pages 83-92. [ANSI1983] ANSI(American National Standards Institute)and US Government Department of Defense,Ada Joint Program Office:Military Standard:Ada Programming Language,ANSI/MIL-STD-1815A-1983,February 17,1983. [Arnold 1996] Ken Arnold and James Gosling:The Java Programming Language,Addison-Wesley,Reading(Mass.),1996. [Atkinson 1989] M.Atkinson,F.Bancilhon,D.DeWitt,K.Dittrich,D.Maier,and S.Zdonik:The Object-Oriented Database System Manifesto,in Proc.First Intl.Conf.on Deductive and Object-Oriented Databases,Kyoto,Japan, December 1989,pages 223-40.On-line:http://www.cs.cmu.edu/Web/Peoplelclamen/OODBMS/Manifesto.html. Also in [Bancilhon 1992]. [Atkinson 1991] Colin Atkinson:Object-Oriented Reuse,Concurrency and Distribution,ACM Press (Addison Wesley),New York,1991. [Avotins 1995] Jon Avotins,Christine Mingins and Heinz Schmidt:Yes!An Object-Oriented CompilerCompiler,in TOOLS 17 (Technology ofObject-Oriented Languages and Systems),eds.Raimund Ege,Madhu Singh,and Bertrand Meyer, Prentice Hall,Englewood Cliffs(NJ.)1995,pages 191-205. Bachelard 1960] Gaston Bachelard:La Formation de I'Esprit scientifique:Contribution a ue Psychanalyse de la Connaissance objective,Lib.Phil.J.Vrin,Paris,1960. Baker 1972] F.Terry Baker:ChiefProgrammer Team Management of Production Programming,in IBM Systems Journal,vol. 11,no.1,1972,pages56-73. Balter 1991] R.Balter et al.:Architecture and Implementation ofGuide,an Object-Oriented Distributed System,in Computing Systems,vol.4,1991. Bancilhon 1992] Francois Bancilhon,Claude Delobel and P.Kanellakis (eds.)Building an Object-Oriented Database System:The Story ofO2,Morgan Kaufmann Publishers,Menlo Park (Calif.),1992. [Baudoin 1996] Claude Baudoin and Glenn Hollowell:Realizing the Object-Oriented Lifecycle,Prentice Hall Object-Oriented Series,Upper Saddle River (N.J.),1996. [Ben Ari 1990] Mordechai Ben Ari:Principles of Concurrent and Distributed Programming,Prentice Hall,Hemel Hempstead (U.K),1990
1204 BIBLIOGRAPHY [Aho 1983] Alfred V. Aho , John E. Hopcroft and Jeffrey D. Ullman: Data Structures and Algorithms, Addison-Wesley, Reading (Mass.), 1983. [Alagar 1995] Vangalur S. Alagar and Rokia Missaoui (eds.): Object-Oriented Technology for Database and Software Systems, Wold Scientific Publishers, Singapore, 1995. [America 1989] Pierre America and Marcel Beemster: A portable implementation of the language POOL; in TOOLS 1 (Proceedings of TOOLS EUROPE 1989), ed. Jean Bézivin, SOL, Paris, 1989, pages 347-353. [America 1989a] Pierre America: Book Review: “Object-Oriented Software Construction” (a review of the first edition of the present book, [M 1988]), Science of Computer Programming, vol. 12, 1989, pages 83-92. [ANSI 1983] ANSI (American National Standards Institute) and US Government Department of Defense, Ada Joint Program Office: Military Standard: Ada Programming Language, ANSI/MIL-STD-1815A-1983, February 17, 1983. [Arnold 1996] Ken Arnold and James Gosling: The Java Programming Language, Addison-Wesley, Reading (Mass.), 1996. [Atkinson 1989] M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik: The Object-Oriented Database System Manifesto, in Proc. First Intl. Conf. on Deductive and Object-Oriented Databases, Kyoto, Japan, December 1989, pages 223-40. On-line: http://www.cs.cmu.edu/Web/People/clamen/OODBMS/Manifesto.html. Also in [Bancilhon 1992]. [Atkinson 1991] Colin Atkinson: Object-Oriented Reuse, Concurrency and Distribution, ACM Press (Addison Wesley), New York, 1991. [Avotins 1995] Jon Avotins, Christine Mingins and Heinz Schmidt: Yes! An Object-Oriented Compiler Compiler, in TOOLS 17 (Technology of Object-Oriented Languages and Systems), eds. Raimund Ege, Madhu Singh, and Bertrand Meyer, Prentice Hall, Englewood Cliffs (N.J.) 1995, pages 191-205. [Bachelard 1960] Gaston Bachelard: La Formation de l'Esprit scientifique: Contribution à une Psychanalyse de la Connaissance objective, Lib. Phil. J. Vrin, Paris, 1960. [Baker 1972] F. Terry Baker: Chief Programmer Team Management of Production Programming, in IBM Systems Journal, vol. 11, no. 1, 1972, pages 56-73. [Balter 1991] R. Balter et al.: Architecture and Implementation of Guide, an Object-Oriented Distributed System, in Computing Systems, vol. 4, 1991. [Bancilhon 1992] François Bancilhon, Claude Delobel and P. Kanellakis (eds.): Building an Object-Oriented Database System: The Story of O2, Morgan Kaufmann Publishers, Menlo Park (Calif.), 1992. [Baudoin 1996] Claude Baudoin and Glenn Hollowell: Realizing the Object-Oriented Lifecycle, Prentice Hall Object-Oriented Series, Upper Saddle River (N.J.), 1996. [Ben Ari 1990] Mordechai Ben Ari: Principles of Concurrent and Distributed Programming, Prentice Hall, Hemel Hempstead (U.K.), 1990
BIBLIOGRAPHY 1205 Bet1983] Didier Bert:Manuel de Reference du Langage LPG,Version 1.2,Rapport R-408,IFIAG,IMAG Institute, Grenoble University,December 1983. [Bertino 1993] Elisa Bertino and Lorenzo Martino:Object-Oriented Database Systems,Concepts and Architecture,Addison- Wesley,Reading(Mass.),1993. [Beta-Web] Mjolner BETA System Home page at http://www.mjolner.dk/. [Bielak 1993] Richard Bielak and James McKim:The Many Faces of a Class,in TOOLS 11(Technology of Object-Oriented Languages and Systems),eds.Raimund Ege,Madhu Singh and Bertrand Meyer,Prentice Hall,Englewood Cliffs N.J),1993,pages153-161. [Bielak 1994] Richard Bielak and James McKim:Let There be ..Objects,in Journal ofObject-Oriented Programming,vol.7, no.6,October 1994,pages 71-74. [Biggerstaff 1984] Ted J.Biggerstaff and Alan J.Perlis (Eds):Special Issue on Software Reusability,in IEEE Transactions on Software Engineering,vol.SE-10,no.5,September 1984,pages 474-609 [Biggerstaff 1989] Ted J.Biggerstaff and Alan J.Perlis (eds):Sofnvare Reusability,ACM Press(Addison-Wesley),New York,1989 (Two volumes.) [Birtwistle 1973] Graham M.Birtwistle,Ole-Johan Dahl,Bjorn Myhrhaug and Kristen Nygaard:Simula Begin,Studentliteratur (Lund,Sweden)and Petrocelli/Charter (New York)1973.(This is the imprint on my copy,although every bibliography I have seen lists the publisher as"Auerbach publishers".) [Bobrow 1982] Daniel G.Bobrow and Mark J.Stefik:LOOPS:an Object-Oriented Programming System for Interlisp,Xerox PARC,1982. [Boehm 1978] Barry W.Boehm,J.R.Brown,G.McLeod,Myron Lipow and M.Merrit:Characteristics of Software Ouality, TRW Series of Software Technology,North-Holland Publishing Co.,Amsterdam,1978. [Boehm 1979] Barry W.Boehm:Software Engineering-As It Is,in Proceedings of the 4th International Conference on Sofare Engineering,Munich,IEEE,September 1979,pages 11-21. [Boehm 1981] Barry W.Boehm:Software Engineering Economics,Prentice Hall,Englewood Cliffs (N.J.),1981. [Boehm 1988] Barry W.Boehm:A Spiral Model of Software Development and Enhancement,in IEEE Computer,no.5,vol.21, May 1988,pages 61-72. [Booch 1986] Grady Booch:Object-Oriented Development,in IEEE Transactions on Software Engineering,vol.SE-12,no.2, pages 211-221,February 198. [Booch 1986a] Grady Booch:Soffware Engineering with Ada,Benjamin/Cummings Publishing Co.,Menlo Park(Calif.)1983 (new edition,1986). [Booch 1994] Grady Booch:Object-Oriented Analysis and Design With Applications,Second Edition,Benjamin/Cummings, Menlo Park (Calif.),1994
BIBLIOGRAPHY 1205 [Bert 1983] Didier Bert: Manuel de Référence du Langage LPG, Version 1.2, Rapport R-408, IFIAG, IMAG Institute, Grenoble University, December 1983. [Bertino 1993] Elisa Bertino and Lorenzo Martino: Object-Oriented Database Systems, Concepts and Architecture, AddisonWesley, Reading (Mass.), 1993. [Beta-Web] Mjølner BETA System Home page at http://www.mjolner.dk/. [Bielak 1993] Richard Bielak and James McKim: The Many Faces of a Class, in TOOLS 11 (Technology of Object-Oriented Languages and Systems), eds. Raimund Ege, Madhu Singh and Bertrand Meyer, Prentice Hall, Englewood Cliffs (N.J.), 1993, pages 153-161. [Bielak 1994] Richard Bielak and James McKim: Let There be … Objects, in Journal of Object-Oriented Programming, vol. 7, no. 6, October 1994, pages 71-74. [Biggerstaff 1984] Ted J. Biggerstaff and Alan J. Perlis (Eds): Special Issue on Software Reusability, in IEEE Transactions on Software Engineering, vol. SE-10, no. 5, September 1984, pages 474-609. [Biggerstaff 1989] Ted J. Biggerstaff and Alan J. Perlis (eds): Software Reusability, ACM Press (Addison-Wesley), New York, 1989. (Two volumes.) [Birtwistle 1973] Graham M. Birtwistle, Ole-Johan Dahl, Bjorn Myhrhaug and Kristen Nygaard: Simula Begin, Studentliteratur (Lund, Sweden) and Petrocelli/Charter (New York) 1973. (This is the imprint on my copy, although every bibliography I have seen lists the publisher as “Auerbach publishers”.) [Bobrow 1982] Daniel G. Bobrow and Mark J. Stefik: LOOPS: an Object-Oriented Programming System for Interlisp, Xerox PARC, 1982. [Boehm 1978] Barry W. Boehm, J.R. Brown, G. McLeod, Myron Lipow and M. Merrit: Characteristics of Software Quality, TRW Series of Software Technology, North-Holland Publishing Co., Amsterdam, 1978. [Boehm 1979] Barry W. Boehm: Software Engineering — As It Is, in Proceedings of the 4th International Conference on Software Engineering, Munich, IEEE, September 1979, pages 11-21. [Boehm 1981] Barry W. Boehm: Software Engineering Economics, Prentice Hall, Englewood Cliffs (N.J.), 1981. [Boehm 1988] Barry W. Boehm: A Spiral Model of Software Development and Enhancement, in IEEE Computer, no. 5, vol. 21, May 1988, pages 61-72. [Booch 1986] Grady Booch: Object-Oriented Development, in IEEE Transactions on Software Engineering, vol. SE-12, no. 2, pages 211-221, February 1986. [Booch 1986a] Grady Booch: Software Engineering with Ada, Benjamin/Cummings Publishing Co., Menlo Park (Calif.), 1983 (new edition, 1986). [Booch 1994] Grady Booch: Object-Oriented Analysis and Design With Applications, Second Edition, Benjamin/Cummings, Menlo Park (Calif.), 1994
1206 BIBLIOGRAPHY Brachman 1983] Ronald J.Brachman:What IS-A and isn't.An Analysis of Taxonomic Links in Semantic Networks,in Computer (IEEE),vol.16,no.10,pages 67-73,October 1983. [Breu1995] Ruth Breu and Michael Breu:A Methodology of Inheritance,in Software-Concepts and Tools(Springer- Verlag),vol.16,no.3,1995,pages 113-123. [Bright 1995] Walter Bright:Optimizing C++Code,in Dr.Dobb's Journal,no.233,August 1995,pages 88-89 Brooks 1974] Fred P.Brooks:The Mythical Man-Month,Addison-Wesley,Reading (Mass.)1974 Bruce 1997] Kim B.Bruce:Typing in Object-Oriented languages:Achieving Expressiveness and Safety,in ACM Computing Surveys,to appear. Burstall 1977] Rod M.Burstall and Joseph A.Goguen:Putting Theories Together to Make Specifications,in Proceedings of 5th International Joint Conference on Artificial Intelligence,Cambridge (Mass.)1977,pages 1045-1058. [Burstall 1981] Rod M.Burstall and Joseph A.Goguen:An Informal Introduction to Specifications using Clear,in The Correctness Problem in Computer Science,eds.R.S.Boyer and J.S.Moore,Academic Press,London,1981, pages185-213. Buxton 1976] John M.Buxton,Peter Naur and Brian Randell (eds.)Software Engineering Concepts and Techniques (Proceedings of 1968 NATO Conference on Software Engineering),Van Nostrand Reinhold,New York,1976. [Campbell 1974] Roy H.Campbell and A.Nico Habermann:The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science 16,Springer-Verlag,Berlin-New York,1974,pp.89-102. [Cannon 1980] H.I.Cannon:Flavors,Technical Report,MIT Artificial Intelligence Laboratory,Cambridge (Mass.),1980. [Cardelli 1984] Luca Cardelli:A Semantics of Multiple Inheritance,in Semantics of Data Types,eds.Gilles Kahn,David B. McQueen and Gordon Plotkin,Lecture Notes in Computer Science 173,Springer-Verlag,Berlin-New York, 1984,pages 51-67.Revised version in Information and Computation,no.76,1988,pages 138-164.Also in [Zdonik 1990],pages 59-83. [Cardelli 1984a] Luca Cardelli:Basic Polymorphic Typechecking,AT&T Bell Laboratories Computing Science Technical Report, 1984.Revised version in Science ofComputer Programming,vol.8,no.2,1987. Cardelli 1985] Luca Cardelli and Peter Wegner:On understanding Types,Data Abstraction and Polymorphism,in ACM Computing Surveys,vol.17,no.4,1985,pages 471-522. [Caromel 1989] Denis Caromel:Service,Asynchrony,and Wait-by-Necessity,in Journal of Object-Oriented Programming,vol. 2,no.4,Nov.-Dec.1989,pp.12-18. [Caromel 1993] Denis Caromel:Toward a Method of Object-Oriented Concurrent Programming,in [M 1993al,pages 90-102 [Carriero 1990] Nicholas Carriero and David Gelernter:How to Write Parallel Programs:A First Course,MIT Press,Cambridge (Mass.),1990
1206 BIBLIOGRAPHY [Brachman 1983] Ronald J. Brachman: What IS-A and isn’t: An Analysis of Taxonomic Links in Semantic Networks, in Computer (IEEE), vol. 16, no. 10, pages 67-73, October 1983. [Breu 1995] Ruth Breu and Michael Breu: A Methodology of Inheritance, in Software — Concepts and Tools (SpringerVerlag), vol. 16, no. 3, 1995, pages 113-123. [Bright 1995] Walter Bright: Optimizing C++ Code, in Dr. Dobb’s Journal, no. 233, August 1995, pages 88-89. [Brooks 1974] Fred P. Brooks: The Mythical Man-Month, Addison-Wesley, Reading (Mass.), 1974. [Bruce 1997] Kim B. Bruce: Typing in Object-Oriented languages: Achieving Expressiveness and Safety, in ACM Computing Surveys, to appear. [Burstall 1977] Rod M. Burstall and Joseph A. Goguen: Putting Theories Together to Make Specifications, in Proceedings of 5th International Joint Conference on Artificial Intelligence, Cambridge (Mass.), 1977, pages 1045-1058. [Burstall 1981] Rod M. Burstall and Joseph A. Goguen: An Informal Introduction to Specifications using Clear, in The Correctness Problem in Computer Science, eds. R. S. Boyer and J. S. Moore, Academic Press, London, 1981, pages 185-213. [Buxton 1976] John M. Buxton, Peter Naur and Brian Randell (eds.) Software Engineering Concepts and Techniques (Proceedings of 1968 NATO Conference on Software Engineering), Van Nostrand Reinhold, New York, 1976. [Campbell 1974] Roy H. Campbell and A. Nico Habermann: The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science 16, Springer-Verlag, Berlin-New York, 1974, pp. 89-102. [Cannon 1980] H. I. Cannon: Flavors, Technical Report, MIT Artificial Intelligence Laboratory, Cambridge (Mass.), 1980. [Cardelli 1984] Luca Cardelli: A Semantics of Multiple Inheritance, in Semantics of Data Types, eds. Gilles Kahn, David B. McQueen and Gordon Plotkin, Lecture Notes in Computer Science 173, Springer-Verlag, Berlin-New York, 1984, pages 51-67. Revised version in Information and Computation, no. 76, 1988, pages 138-164. Also in [Zdonik 1990], pages 59-83. [Cardelli 1984a] Luca Cardelli: Basic Polymorphic Typechecking, AT&T Bell Laboratories Computing Science Technical Report, 1984. Revised version in Science of Computer Programming, vol. 8, no. 2, 1987. [Cardelli 1985] Luca Cardelli and Peter Wegner: On understanding Types, Data Abstraction and Polymorphism, in ACM Computing Surveys, vol. 17, no. 4, 1985, pages 471-522. [Caromel 1989] Denis Caromel: Service, Asynchrony, and Wait-by-Necessity, in Journal of Object-Oriented Programming, vol. 2, no. 4, Nov.-Dec. 1989, pp. 12-18. [Caromel 1993] Denis Caromel: Toward a Method of Object-Oriented Concurrent Programming, in [M 1993a], pages 90-102. [Carriero 1990] Nicholas Carriero and David Gelernter: How to Write Parallel Programs: A First Course, MIT Press, Cambridge (Mass.), 1990
BIBLIOGRAPHY 1207 [Castagna 1995] Giuseppe Castagna:Covariance and Contravariance:Conflict without a Cause,in ACM Transactions on Programming Languages and Systems,vol.17,no.3,1995,pages 431-447. [Castagna 1996] Giuseppe Castagna:Le Modele fonde sur la Surcharge:Une Visite Guidee (The Overloading-Based Model:A Guided Tour),in TSI(Technique et Sciences Informatiques),vol.15,no.6,1996. [Cattell 1993] R.G.G.Cattell (ed.)The Object Database Standard:ODMG-93,Morgan Kaufmann,Menlo Park (Calif.),1993. [Chambers 1991] Craig Chambers,David Ungar,Bay-Wei Change and Urs Holzle:Parents are Shared Paris ofObjects:Inheritance and Encapsulation in SELF,in Lisp and Symbolic Computation:An International Journal,vol.4,no.3,1991. [Chen 1976] Peter P.S.Chen:The Entity-Relationship model-Towards a Unified View of Data,in ACM Transactions on Database Systems,vol.1,no.1,March 1976,pages 9-36. [Coad1990] Peter Coad and Edward Nash Yourdon:Object-Oriented Analysis,Prentice Hall,Englewood Cliffs (N.J.)1990. [Codd1970] E.F.Codd:A Relational Model of Data for Large Shared Data Banks,in Communications of the ACM,vol.13, no.6,June 1970,pages 377-387 [Cohen 1984] Jacques Cohen and Tim Hickey:Performance Analysis ofOn-the-Fly Garbage Collection,in Communications of the ACM,vol.27,no.11,November 198,pages 1143-1154. [Cohen 1991] Berard Cohen:The Inverted Curriculum,Report,National Economic Development Council,London,1991. [Coleman 1994] Derek Coleman et al.:Object-Oriented Development:The Fusion Method,Prentice Hall Object-Oriented Series, Englewood Cliffs (N.J.),1994. [Computer 1996] Gurus Share Insights on Objects (interview with Grady Booch,Ivar Jacobson and James Rumbaugh),in Computer (IEEE),Object Technology department,vol.29,no.6,June 1996,pages 95-98. [Cook1989] William R.Cook:A Proposal for Making Eiffel Type-Safe,in ECOOP 89 (Proceedings of 1989 European Conference on Object-Oriented Programming,Nottingham,U.K.,10-14 July 1989),ed.Stephen Cook, Cambridge University Press,1989,pages 57-70 [Cook1994] Steve Cook and John Daniels:Designing Object Systems,Prentice Hall Object-Oriented Series,Hemel Hempstead (U.K.),1994. Cox19841 Brad J.Cox:MessagelObject Programming:An Evolutionary Change in Programming Technology,in IEEE Software,vol.1,no.1,January 1984,pages 50-69. [Cox1986] Brad Cox et al.:User Interface Frameworks (position papers for a panel),in OOPSLA 86 Conference Proceedings,Portland (Oreg.),Sept.29-Oct.2,1986,published as S/GPLAN Notices,vol.21,no.11,Nov.1986, pages497-501. [Cox1990] Brad J.Cox and Andrew J.Novobilski:Object-Oriented Programming:An Evolutionary Approach,2nd edition., Addison-Wesley,Reading(Mass.)1990.(Original edition,first author only:1986.) [Cox1992] Brad J.Cox:Superdistribution and Electronic Objects,in Dr.Dobb's Journal,no.193,October 1992,pages 44-48
BIBLIOGRAPHY 1207 [Castagna 1995] Giuseppe Castagna: Covariance and Contravariance: Conflict without a Cause, in ACM Transactions on Programming Languages and Systems, vol. 17, no. 3, 1995, pages 431-447. [Castagna 1996] Giuseppe Castagna: Le Modèle fondé sur la Surcharge : Une Visite Guidée (The Overloading-Based Model: A Guided Tour), in TSI (Technique et Sciences Informatiques), vol. 15, no. 6, 1996. [Cattell 1993] R. G. G. Cattell (ed.): The Object Database Standard: ODMG-93, Morgan Kaufmann, Menlo Park (Calif.), 1993. [Chambers 1991] Craig Chambers, David Ungar, Bay-Wei Change and Urs Hölzle: Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF, in Lisp and Symbolic Computation: An International Journal, vol. 4, no. 3, 1991. [Chen 1976] Peter P.S. Chen: The Entity-Relationship model — Towards a Unified View of Data, in ACM Transactions on Database Systems, vol. 1, no. 1, March 1976, pages 9-36. [Coad 1990] Peter Coad and Edward Nash Yourdon: Object-Oriented Analysis, Prentice Hall, Englewood Cliffs (N.J.), 1990. [Codd 1970] E.F. Codd: A Relational Model of Data for Large Shared Data Banks, in Communications of the ACM, vol. 13, no. 6, June 1970, pages 377- 387. [Cohen 1984] Jacques Cohen and Tim Hickey: Performance Analysis of On-the-Fly Garbage Collection, in Communications of the ACM, vol. 27, no. 11, November 198, pages 1143-1154. [Cohen 1991] Bernard Cohen: The Inverted Curriculum, Report, National Economic Development Council, London, 1991. [Coleman 1994] Derek Coleman et al.: Object-Oriented Development: The Fusion Method, Prentice Hall Object-Oriented Series, Englewood Cliffs (N.J.), 1994. [Computer 1996] Gurus Share Insights on Objects (interview with Grady Booch, Ivar Jacobson and James Rumbaugh), in Computer (IEEE), Object Technology department, vol. 29, no. 6, June 1996, pages 95-98. [Cook 1989] William R. Cook: A Proposal for Making Eiffel Type-Safe, in ECOOP 89 (Proceedings of 1989 European Conference on Object-Oriented Programming, Nottingham, U.K., 10-14 July 1989), ed. Stephen Cook, Cambridge University Press, 1989, pages 57-70. [Cook 1994] Steve Cook and John Daniels: Designing Object Systems, Prentice Hall Object-Oriented Series, Hemel Hempstead (U.K.), 1994. [Cox 1984] Brad J. Cox: Message/Object Programming: An Evolutionary Change in Programming Technology, in IEEE Software, vol. 1, no. 1, January 1984, pages 50-69. [Cox 1986] Brad Cox et al.: User Interface Frameworks (position papers for a panel), in OOPSLA ’86 Conference Proceedings, Portland (Oreg.), Sept. 29-Oct. 2, 1986, published as SIGPLAN Notices, vol. 21, no. 11, Nov. 1986, pages 497-501. [Cox 1990] Brad J. Cox and Andrew J. Novobilski: Object-Oriented Programming: An Evolutionary Approach, 2nd edition., Addison-Wesley, Reading (Mass.), 1990. (Original edition, first author only: 1986.) [Cox 1992] Brad J. Cox: Superdistribution and Electronic Objects, in Dr. Dobb’s Journal, no. 193, October 1992, pages 44-48
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
BIBLIOGRAPHY 1211 [Guttag 1985] John V.Guttag,Jim J.Horning and Jeannette M.Wing:Larch in Five Easy Pieces,Report 5,Digital Systems Research Center,Palo Alto (Calif )24 July 1985 [Hadamard 1945] Jacques Hadamard:La Psychologie de I'Imvention dans le Domaine mathematique,Albert Blanchard,Paris,1948 Extension of earlier English edition:The Psychology ofInvention in the Mathematical Field,Princeton University Press,Princeton (N.J.),1945;more recent reprint available from Dover Publications,New York. [Halbert 1987] Daniel C.Halbert and Patrick D.O'Brien:Using Types and Inheritance in Object-Oriented Languages,in ECOOP 87:European Conference on Object-Oriented Programming,Paris,June 1987,pages 23-34.Revised version in IEEE Soffware,vol.4,no.5,September 1987,pages 71-79. [Harbison 1992] Samuel P.Harbison:Modula-3,Prentice Hall,Englewood Cliffs (N.J.),1992. [Hayes 1988] Ian J.Hayes (Ed.):Specification Case Studies,Prentice Hall International,Hemel Hempstead(U.K.),1988. Heliotis 1996] James Heliotis:Eiffel in Computer Science Education,in Journal ofObject-Oriented Programming,vol.9,no.2, May1996,pages6466,82. [Henderson-Sellers 1990] Brian Henderson-Sellers and Julian M.Edwards:The Object-Oriented Systems Life Cycle,in Communications of the ACM,vol.33,no.9,September 1990,pages 142-159 [Henderson-Sellers 1991] Brian Henderson-Sellers:A BOOK ofObject-Oriented Knowledge,Prentice Hall Object-Oriented Series,Sydney (Australia),1991. [Henderson-Sellers 1994] Brian Henderson-Sellers and Julian M.Edwards:BOOKTWO of Object-Oriented Knowledge:The Working Object,Prentice Hall Object-Oriented Series,Sydney (Australia),1991. [Henderson-Sellers 1994al Brian Henderson-Sellers and James McKim:Contracting:What's in it for the Supplier?,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 179-186. [Henderson-Sellers 1996] Brian Henderson-Sellers and lan Graham:OPEN:Towards Method Comvergence?,in Computer (IEEE),Object Technology department,vol.29,no.4,April 1996,pages 86-89. [Henderson-Sellers 1996a] Brian Henderson-Sellers:Object-Oriented Metrics:Measures of Complexity,Prentice Hall Object-Oriented Series,Upper Saddle River(N.J.),1996. [Hoare 1966] C.A.R.Hoare and Niklaus Wirth:A Contribution to the Development of ALGOL,in Communications of the ACM, vol.9,no.6,June 1966,pages 413-431.Reprinted in C.A.R.Hoare and C.B.Jones (ed.),Essays in Computing Science,Prentice Hall International,Hemel Hempstead(U.K.)1989,pages 31-43. [Hoare 1969] C.A.R.Hoare:An Axiomatic Basis for Computer Programming,in Communications of the ACM,vol.12,no.10, October 1969,pages 576-580,583.Reprinted in [Hoare 1989],pages 45-58. [Hoare 1972] C.A.R.Hoare:Editorial:The Quality of Software,in Software,Practice and Experience,vol.2,no.2,1972,pages 103-105
BIBLIOGRAPHY 1211 [Guttag 1985] John V. Guttag, Jim J. Horning and Jeannette M. Wing: Larch in Five Easy Pieces, Report 5, Digital Systems Research Center, Palo Alto (Calif.), 24 July 1985. [Hadamard 1945] Jacques Hadamard: La Psychologie de l’Invention dans le Domaine mathématique, Albert Blanchard, Paris, 1948. Extension of earlier English edition: The Psychology of Invention in the Mathematical Field, Princeton University Press, Princeton (N.J.), 1945; more recent reprint available from Dover Publications, New York. [Halbert 1987] Daniel C. Halbert and Patrick D. O’Brien: Using Types and Inheritance in Object-Oriented Languages, in ECOOP 87: European Conference on Object-Oriented Programming, Paris, June 1987, pages 23-34. Revised version in IEEE Software, vol. 4, no. 5, September 1987, pages 71-79. [Harbison 1992] Samuel P. Harbison: Modula-3, Prentice Hall, Englewood Cliffs (N.J.), 1992. [Hayes 1988] Ian J. Hayes (Ed.): Specification Case Studies, Prentice Hall International, Hemel Hempstead (U.K.), 1988. [Heliotis 1996] James Heliotis: Eiffel in Computer Science Education, in Journal of Object-Oriented Programming, vol. 9, no. 2, May 1996, pages 64-66, 82. [Henderson-Sellers 1990] Brian Henderson-Sellers and Julian M. Edwards: The Object-Oriented Systems Life Cycle, in Communications of the ACM, vol. 33, no. 9, September 1990, pages 142-159. [Henderson-Sellers 1991] Brian Henderson-Sellers: A BOOK of Object-Oriented Knowledge, Prentice Hall Object-Oriented Series, Sydney (Australia), 1991. [Henderson-Sellers 1994] Brian Henderson-Sellers and Julian M. Edwards: BOOKTWO of Object-Oriented Knowledge: The Working Object, Prentice Hall Object-Oriented Series, Sydney (Australia), 1991. [Henderson-Sellers 1994a] Brian Henderson-Sellers and James McKim: Contracting: What's in it for the Supplier?, 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 179-186. [Henderson-Sellers 1996] Brian Henderson-Sellers and Ian Graham: OPEN: Towards Method Convergence?, in Computer (IEEE), Object Technology department, vol. 29, no. 4, April 1996, pages 86-89. [Henderson-Sellers 1996a] Brian Henderson-Sellers: Object-Oriented Metrics: Measures of Complexity, Prentice Hall Object-Oriented Series, Upper Saddle River (N.J.), 1996. [Hoare 1966] C.A.R. Hoare and Niklaus Wirth: A Contribution to the Development of ALGOL, in Communications of the ACM, vol. 9, no. 6, June 1966, pages 413-431. Reprinted in C.A.R. Hoare and C. B. Jones (ed.), Essays in Computing Science, Prentice Hall International, Hemel Hempstead (U.K.), 1989, pages 31-43. [Hoare 1969] C.A.R. Hoare: An Axiomatic Basis for Computer Programming, in Communications of the ACM, vol. 12, no. 10, October 1969, pages 576-580, 583. Reprinted in [Hoare 1989], pages 45-58. [Hoare 1972] C.A.R. Hoare: Editorial: The Quality of Software, in Software, Practice and Experience, vol. 2, no. 2, 1972, pages 103-105
1212 BIBLIOGRAPHY [Hoare 1972al C.A.R.Hoare:Proof of Correcmness of Data Representations,in Acta Informatica,vol.1,1972,pages 271-281. Reprinted in [Hoare 1989],pages 103-115. [Hoare 1973] C.A.R.Hoare:Hints on Programming Language Design,Stanford University Artificial Intelligence memo AIM- 224/STAN-CS-73-403.Reprinted in [Hoare 1989],pages 193-216. Hoare 1974] C.A.R.Hoare:Monitors:An Operating System Structuring Concept,in Communications of the ACM,vol.17,no. 10,October 1974,pages 549-557.Reprinted in [Hoare 1989],pages 171-191. [Hoare 1978] C.A.R.Hoare:Communication Sequential Processes,in Communications of the ACM,vol.21,no.8,August 1978,pages 666-677.Reprinted in [Hoare 1989],pages 259-288. [Hoare 1981] C.A.R.Hoare:The Emperor's Old Clothes(1980 Turing Award lecture),in Communications of the ACM,vol.24, no.2,February 1981,pages 75-83.Reprinted in [Hoare 1989],pages 1-18. [Hoare 1985] C.A.R.Hoare:Communicating Sequential Processes,Prentice Hall International,Hemel Hempstead(U.K.),1985. Hoare 1989] C.A.R.Hoare and C.B.Jones (ed.):Essays in Computing Science (reprints of Hoare's papers),Prentice Hall International,Hemel Hempstead(U.K.),1989. [Hopkins 1995] Trevor Hopkins and Bernard Horan:Smalltalk-An Introduction to Application Development Using VisualWorks, Prentice Hall Object-Oriented Series,Hemel Hempstead(U.K.),1995. [Horowitz 1984] Ellis Horowitz and John B.Munson:An Expansive View of Reusable Software,in IEEE Transactions on Software Engineering,vol.SE-10,no.5,September 1984,pages 477-487. [Hullot 1984] Jean-Marie Hullot:Ceyx,Version 15:1-ime Initiation,Rapport Technique no.44,INRIA,Rocquencourt,1984. IEEE 1990] IEEE Computer Society:Glossary of Software Engineering Terminology,ed.Jane Radatz,standard 1990-610.12 (revision of 1983-729).Also ANSI standard,2/91. EEE1993] IEEE Computer Society:Classification of Software Errors/Faults/Failures,ed.Richard Evans,standard 1993-1044. [Ingalls 1978] Daniel H.H.Ingalls:The Smalltalk-76 Programming System:Design and Implementation,in Proceedings of the ACM Principles of Programming Languages Symposium,January 1978. [Inmos 1988] Inmos Ltd.:Occam 2 Programming Manual,Prentice Hall International,Hemel Hempstead (U.K.),1988 SE1996] Interactive Software Engineering Inc.:ArchiText User's Manual,Technical Report TR-EI-33.AT,1996. [Jackson 1975] Michael A.Jackson:Principles of Program Design,Academic Press,London,1975. Jackson 1983] Michael A.Jackson:System Development,Prentice Hall Intemational,Hemel Hempstead (U.K.),1983. 卩acobson1992] Ivar Jacobson,Magnus Christerson,Patrik Jonsson and Gunnar Overgaard:Object-Oriented Software Engineering:A Use Case Driven Approach,Addison-Wesley,Wokingham (England),1992
1212 BIBLIOGRAPHY [Hoare 1972a] C.A.R. Hoare: Proof of Correctness of Data Representations, in Acta Informatica, vol. 1, 1972, pages 271-281. Reprinted in [Hoare 1989], pages 103-115. [Hoare 1973] C.A.R. Hoare: Hints on Programming Language Design, Stanford University Artificial Intelligence memo AIM- 224/STAN-CS-73-403. Reprinted in [Hoare 1989], pages 193-216. [Hoare 1974] C.A.R. Hoare: Monitors: An Operating System Structuring Concept, in Communications of the ACM, vol. 17, no. 10, October 1974, pages 549-557. Reprinted in [Hoare 1989], pages 171-191. [Hoare 1978] C.A.R. Hoare: Communication Sequential Processes, in Communications of the ACM, vol. 21, no. 8, August 1978, pages 666-677. Reprinted in [Hoare 1989], pages 259-288. [Hoare 1981] C.A.R. Hoare: The Emperor’s Old Clothes (1980 Turing Award lecture), in Communications of the ACM, vol. 24, no. 2, February 1981, pages 75-83. Reprinted in [Hoare 1989], pages 1-18. [Hoare 1985] C.A.R. Hoare: Communicating Sequential Processes; Prentice Hall International, Hemel Hempstead (U.K.), 1985. [Hoare 1989] C.A.R. Hoare and C. B. Jones (ed.): Essays in Computing Science (reprints of Hoare’s papers), Prentice Hall International, Hemel Hempstead (U.K.), 1989. [Hopkins 1995] Trevor Hopkins and Bernard Horan: Smalltalk — An Introduction to Application Development Using VisualWorks, Prentice Hall Object-Oriented Series, Hemel Hempstead (U.K.), 1995. [Horowitz 1984] Ellis Horowitz and John B. Munson: An Expansive View of Reusable Software, in IEEE Transactions on Software Engineering, vol. SE-10, no. 5, September 1984, pages 477-487. [Hullot 1984] Jean-Marie Hullot: Ceyx, Version 15: I — une Initiation, Rapport Technique no. 44, INRIA, Rocquencourt, 1984. [IEEE 1990] IEEE Computer Society: Glossary of Software Engineering Terminology, ed. Jane Radatz, standard 1990-610.12 (revision of 1983-729). Also ANSI standard, 2/91. [IEEE 1993] IEEE Computer Society: Classification of Software Errors/Faults/Failures, ed. Richard Evans, standard 1993-1044. [Ingalls 1978] Daniel H. H. Ingalls: The Smalltalk-76 Programming System: Design and Implementation, in Proceedings of the ACM Principles of Programming Languages Symposium, January 1978. [Inmos 1988] Inmos Ltd.: Occam 2 Programming Manual, Prentice Hall International, Hemel Hempstead (U.K.), 1988. [ISE 1996] Interactive Software Engineering Inc.: ArchiText User’s Manual, Technical Report TR-EI-33.AT, 1996. [Jackson 1975] Michael A. Jackson: Principles of Program Design, Academic Press, London, 1975. [Jackson 1983] Michael A. Jackson: System Development, Prentice Hall International, Hemel Hempstead (U.K.), 1983. [Jacobson 1992] Ivar Jacobson, Magnus Christerson, Patrik Jonsson and Gunnar Övergaard: Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, Wokingham (England), 1992