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