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, July￾August 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