References

AG92

Antonio J. Alencar and Joseph A. Goguen.
Ooze.
In Susan Stepney, Rosalind Barden, and David Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 79-94. Springer-Verlag, 1992.

ANS91

ANSI Accredited Standards Committee. X3, Information Processing Systems.
Object Data Management Reference Model, 1991.
Document Number OODB 89-01R8, also in Computer Standards & Interfaces, Vol. 15 (1993), pp. 124-142.

DBS96

R. Duke, C. Bailes, and G. Smith.
A blocking model for reactive objects.
Formal Aspects of Computing, 8(3):347-368, 1996.

Dij65

Edsger W. Dijkstra.
Programming condidered as a human activity.
In Proceedings of the IFIP Congress 65, pages 213-217. Macmillan and Co., 1965.

Dij96

Edsger W. Dijkstra.
A first exploration of effective reasoning.
University of Texas at Austin, EWD 1239, 1996.

Hal60

Paul R. Halmos.
Naive set theory.
D. Van Nostrand Company, 1960.

Hal90

Anthony Hall.
Using z as a specification calculus for object-oriented systems.
In D. Bjorner and H. Langmaack, editors, Proceedings of VDM 90, number 428 in Lecture Notes in Computer Science, pages 290-318. Springer-Verlag, 1990.

Hal94a

Anthony Hall.
Specifying and interpreting class hierarchies in z.
In Jonathan P. Bowen and J. Anthony Hall, editors, Z User Workshop, Cambridge 1994, Workshops in Computing, pages 120-138. Springer-Verlag, 1994.

Hal94b

Anthony Hall.
ZOO Course Notes, 1994.

HKOS96

W. Harrison, H. Kilov, H. Ossher, and I. Simmonds.
From dynamic supertypes to objects: A natural way to specify and develop systems.
IBM Systems Journal, 35(2):244-256, June 1996.

HW93

I. Hayes and L. Wildman.
Towards libraries in z.
In Jonathan P. Bowen and John E. Nicholls, editors, Z User Workshop, pages 37-51. Springer-Verlag, 1993.

ISO

ISO/IEC.
Open Distributed Processing - Reference Model. Part 4: Architectural Semantics.

ISO95a

ISO/IEC.
Open Distributed Processing - Reference Model. Part 2: Foundations, 1995.
IS 10746-2 / ITU-T Recommendation X.902.

ISO95b

ISO/IEC.
Open Distributed Processing - Reference Model. Part 3: Architecture, 1995.
IS 10746-3 / ITU-T Recommendation X.903.

ISO95c

ISO/IEC JTC1/SC21, Information Technology.
Open Systems Interconnection - Management Information Services - Structure of Management Information - Part 7: General Relationship Model, 1995.
CD ISO/IEC 10165-7.2.

JK97

D. R. Johnson and H. Kilov.
Can a flat notation be used to specify an oo system: using z to describe rm-odp constructs.
In Elie Najm and Jean-Bernard Stefani, editors, Formal Methods for Open Object-based Distributed Systems, pages 391-398. Chapman & Hall, 1997.

Kil89

H. Kilov.
Domains and semantic integrity.
Computer Standards & Interfaces, 9:143-147, 1989.

KMS96

H. Kilov, H. Mogill, and I. Simmonds.
Invariants in the trenches.
In H. Kilov and W. Harvey, editors, Object-oriented Behavioral Specifications, pages 77-100. Kluwer Academic Publishers, 1996.

KR94

H. Kilov and J. Ross.
Information Modeling: an Object-oriented Approach.
Prentice-Hall, 1994.

Red96

D. Redberg.
The search for the linking invariant: behavioral modeling vs. modeling behavior.
In H. Kilov and W. Harvey, editors, Object-oriented Behavioral Specifications, pages 241-264. Kluwer Academic Publishers, 1996.

SBC92

Susan Stepney, Rosalind Barden, and David Cooper, editors.
Object Orientation in Z, Workshops in Computing. Springer-Verlag, 1992.

Uni95

The University of Oxford.
Z Notation, Version 1.2, September 1995.

X3T96

ANSI X3T3.
Recommendation for vote on DIS 10746-4.2 ``Information technology - Basic reference model of Open Distributed Processing - Part 4: Architectural semantics", December 1996.
Document X3T3-96/131.