B. Bibliography

[Alencar & Goguen 1991]

Antonio J. Alencar and Joseph A. Goguen. OOZE: An Object Oriented Z Environment. In [America 1991] , pages 180--199.

[America 1991]

Pierre America, editor. ECOOP'91: European Conference on Object-Oriented Programming , volume 512 of Lecture Notes in Computer Science . Springer Verlag, 1991.

[Barden et al. 1992]

Rosalind Barden, Susan Stepney, and David Cooper. The use of Z . In [Nicholls 1992] , pages 99--124.

[Bjørner et al. 1990]

Dines Bjørner , C. A. R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z---Formal Methods in Software Development, Kiel , volume 428 of Lecture Notes in Computer Science . Springer Verlag, 1990.

[Booch 1991]

Grady Booch . Object Oriented Design with Applications . Benjamin-Cummings, 1991.

[Brownbridge 1990]

David Brownbridge. Using Z to develop a CASE toolset. In [Nicholls 1990] , pages 142--149.

[Burstall & Goguen 1980]

R. M. Burstall and Joseph A. Goguen. The semantics of Clear, a specification language. In Dines Bjørner, editor, Abstract Software Specifications , volume 86 of Lecture Notes in Computer Science , pages 292--332. Springer Verlag, 1980.

[Carrington et al. 1990]

David A. Carrington, David Duke, Roger Duke, Paul King, Gordon A. Rose, and Graeme Smith. Object-Z: An object-oriented extension to Z. In S. Vuong, editor, Formal Description Techniques II, FORTE'89 , pages 281--296. North-Holland, 1990.

[Carrington 1992]

David A. Carrington. ZOOM workshop report. In [Nicholls 1992] , pages 352--364.

[Cox 1986]

Brad J. Cox . Object Oriented Programming---An Evolutionary Approach . Addison-Wesley, 1986.

[Cusack & Lai 1991]

Elspeth Cusack and Mike Lai. Object oriented specification in LOTOS and Z. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object Oriented Languages, Proceedings of the REX School/Workshop May/June 1990 , number 489 in Lecture Notes in Computer Science. Springer Verlag, 1991.

[Cusack 1991]

Elspeth Cusack. Inheritance in object oriented Z. In [America 1991] , pages 167--179.

[Cusack 1992]

Elspeth Cusack. Object oriented modelling in Z. In J. de Meer, editor, International Workshop on ODP, October 1991 . North-Holland, 1992.

[Duke & Duke 1990]

David Duke and Roger Duke. Towards a semantics for Object-Z. In [Bjørner et al. 1990] , pages 244--261.

[Duke et al. 1991]

Roger Duke, Paul King, Gordon A. Rose, and Graeme Smith. The Object-Z specification language version 1. Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, May 1991.

[Ehrich & Sernadas 1991]

H.-D. Ehrich and A. Sernadas. Fundamental object concepts and constructions. Report 91-03, Technische Universität Braunschweig, 1991.

[Enderton 1977]

H. B. Enderton. Elements of Set Theory . Academic Press, 1977.

[Flynn et al. 1990]

Mike Flynn, Tim Hoverd, and David Brazier. Formaliser --- an interactive support tool for Z. In [Nicholls 1990] , pages 128--141.

[Giovanni & Iachini 1990]

R. Di Giovanni and P. Luigi Iachini. HOOD and Z for the development of complex systems. In [Bjørner et al. 1990] , pages 262--289.

[Goguen et al. 1992a]

Joseph A. Goguen, Andrew Stevens, Hendrik Hilberdink, and Keith Hobley. 2OBJ, a metalogical framework based on equational logic. Transactions of the Royal Society, Series A , 1992. to appear.

[Goguen et al. 1992b]

Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ3. In Joseph A. Goguen, editor, Applications of Algebraic Specification using OBJ . Cambridge University Press, 1992.

[Goguen 1984]

Joseph A. Goguen. Parameterized programming. IEEE Transactions on Software Engineering , SE--10(5), September 1984.

[Goguen 1991]

Joseph A. Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors, Proceedings, Topology and Category Theory in Computer Science , pages 357--390. Oxford University Press, 1991.

[Goldberg & Robson 1983]

Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation . Addison-Wesley, 1983.

[Hall 1990]

J. Anthony Hall. Using Z as a specification calculus for object-oriented systems. In [Bjørner et al. 1990] , pages 290--318.

[Hayes 1993]

Ian J. Hayes , editor. Specification Case Studies . Prentice Hall, 2nd edition, 1993.

[Iachini 1991]

P. Luigi Iachini. Operation schema iterations. In [Nicholls 1991] , pages 27--49.

[ISO/IEC JTC1/SC21/N6079 1991]

ISO/IEC JTC1/SC21/N6079. Basic reference model for open distributed processing. Proposal for committee draft text, International Standards Organization, June 1991.

[ISO/IEC JTC1/SC21/WG7/N434 1991]

ISO/IEC JTC1/SC21/WG7/N434. Architectural semantics, specification techniques and formalisms. Working document, International Standards Organization, November 1991.

[Jones 1986]

Cliff B. Jones . Systematic Software Development using VDM . Prentice Hall, 1986.

[Lano & Breuer 1990]

Kevin C. Lano and Peter T. Breuer. From programs to Z specifications. In [Nicholls 1990] , pages 46--70.

[Lano & Haughton 1991]

Kevin C. Lano and Howard Haughton. Axioms for object-oriented extensions to Z. Technical report, Programming Research Group, Oxford University Computing Laboratory, 1991.

[Lano & Haughton 1992]

Kevin C. Lano and Howard Haughton. Reasoning and refinement in object-oriented specification languages. In Proceedings ECOOP'92 , 1992.

[Lano 1991]

Kevin C. Lano. Z++, an object-orientated extension to Z. In [Nicholls 1991] , pages 151--172.

[Meira & Cavalcanti 1991]

Silvio Lemos Meira and Ana Lúcia C. Cavalcanti. Modular object oriented Z specifications. In [Nicholls 1991] , pages 173--192.

[Meira & Cavalcanti 1992]

Silvio Lemos Meira and Ana Lúcia C. Cavalcanti. The MooZ specification language. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.

[Meira et al. 1991]

Silvio Lemos Meira, Ana Lúcia C. Cavalcanti, and C. S. Santos. ForMooZ: An environment for formal object-oriented specification and prototyping. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1991.

[Meira et al. 1992]

Silvio Lemos Meira, Ana Lúcia C. Cavalcanti, and C. S. Santos. The Unix filing system: A MooZ specification. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.

[Meyer 1988]

Bertrand Meyer. Object-oriented Software Construction . Prentice Hall, 1988.

[Meyer 1992]

Bertrand Meyer. Eiffel: the Language . Prentice Hall, 1992.

[Morgan 1990]

C. Carroll Morgan . Programming from Specifications . Prentice Hall, 1990.

[Nicholls 1990]

John E. Nicholls, editor. Z User Workshop: Proceedings of the 4th Annual Z User Meeting, Oxford 1989 , Workshops in Computing. Springer Verlag, 1990.

[Nicholls 1991]

John E. Nicholls, editor. Proceedings of the 5th Annual Z User Meeting, Oxford 1990 , Workshops in Computing. Springer Verlag, 1991.

[Nicholls 1992]

John E. Nicholls, editor. Proceedings of the 6th Annual Z User Meeting, York 1991 , Workshops in Computing. Springer Verlag, 1992.

[Peterson 1988]

Ivars Peterson. The Mathematical Tourist . W. H. Freeman, 1988.

[Potter et al. 1991]

Ben Potter, Jane Sinclair, and David Till. An Introduction to Formal Specification and Z . Prentice Hall, 1991.

[Rafsanjani 1992]

G. H. B. Rafsanjani. An abstract object model for application to mapping Object-Z to C++. Internal report, British Telecom, February 1992. (draft).

[Sampaio & Meira 1990]

Augusto Sampaio and Silvio Lemos Meira. Modular extensions to Z. In [Bjørner et al. 1990] , pages 211--232.

[Schuman & Pitt 1987]

S. A. Schuman and David H. Pitt. Object-oriented subsystem specification. In L. G. L. T. Meertens, editor, Program Specification and Transformation , pages 313--341. North-Holland, 1987.

[Schuman et al. 1990]

S. A. Schuman, David H. Pitt, and Paddy J. Byers. Object-oriented process specification. In C. Rattray, editor, Specification and Verification of Concurrent Systems , Workshops in Computing, pages 21--70. Springer Verlag, 1990.

[Spivey 1988]

J. Michael Spivey. Understanding Z: a specification language and its formal semantics , volume 3 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press, 1988.

[Spivey 1989]

J. Michael Spivey. The Z Notation: a Reference Manual . Prentice Hall, 1989.

[Stanley-Smith & Cahill 1990]

C. Stanley-Smith and A. Cahill. UNIFORM: A language geared to system description and transformation. REDO Project document 2487-TN-UL-1002, University of Limerick, 1990.

[Stepney et al. 1992]

Susan Stepney, Rosalind Barden, and David Cooper. A survey of object orientation in Z . IEE Software Engineering Journal , 7(2):150--160, March 1992.

[Wegner & Zdonik 1988]

Peter Wegner and Stanley B. Zdonik. Inheritance as an incremental modification technique, or what like is and isn't like. In Stein Gjessing and Kristen Nygaard, editors, ECOOP'88: European Conference on Object-Oriented Programming , volume 322 of Lecture Notes in Computer Science , pages 55--77. Springer Verlag, 1988.

[Wegner 1987a]

Peter Wegner. Dimensions of object-based language design. OOPSLA'87 Proceedings, ACM SIGPLAN Notices , 22(12):168--182, 1987.

[Wegner 1987b]

Peter Wegner. The object-oriented classification paradigm. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming . MIT Press, 1987.

[Whysall & McDermid 1991a]

Peter J. Whysall and John A. McDermid. An approach to object oriented specification using Z. In [Nicholls 1991] , pages 193--215.

[Whysall & McDermid 1991b]

Peter J. Whysall and John A. McDermid. Object oriented specification and refinement. In Joseph M. Morris and Roger C. Shaw, editors, 4th Refinement Workshop , Workshops in Computing, pages 150--184. Springer Verlag, 1991.

[Wills 1991]

Alan Wills. Capsules and types in Fresco: Program validation in Smalltalk. In [America 1991] , pages 59--76.

[Woodcock & Loomes 1988]

James C. P. Woodcock and Martin Loomes. Software Engineering Mathematics . Pitman, 1988.

[Woodcock 1989]

James C. P. Woodcock. Structuring specifications in Z. IEE Software Engineering Journal , 4(1):51--66, 1989.

[Zimmer 1990]

J. A. Zimmer. Restructuring for style. Software---Practice and Experience , 20(4):365--389, April 1990.