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 (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, 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