References

1

J-P. Bodeveix, M. Filali, and P. Roche. Towards a HOL theory of memory. In Higher Order Logic Theorem Proving and Its Applications, pages 49-64. Springer, 1994. LNCS 859.

2

Kathleen Fisher, Furio Honsell, and John C. Mtichell. A lambda calculus of objects and method specialization. Nordic Journal of Computing, 1(1):3-37, 1994.

3

HOL2000 is a community wide initiative to build a successor to HOL on the shoulders of the existing system and other related ones. See the WWW URL: http://lal.cs.byu.edu/lal/hol-documentation.html for more details.

4

Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.

5

Richard L. Sites, editor. Alpha Architecture Reference Manual. Digital Press, 1992.

6

Graeme Paul Smith. An Object-Oriented Approach to Formal Specification. PhD thesis, The Department of Computer Science, University of Queensland, 1992.

7

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

8

The SPARC Architecture Manual. Prentice Hall, 1992.

9

Lars Thorup and Mads Tofte. Object-oriented programming and Standard ML. pages 41-49.

10

David Ungar and Randall B. Smith. Self: The power of simplicity. Lisp and Symbolic Computation, 4(3), 1991.