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 Object￾Based 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