1. UTM Series;G. a. Buskes,1997
2. Lect Notes Comput Sci;M. Devillers,1997
3. Gordon, M. J. C., and Melham, t. F. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
4. Gunter, C. A. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Science. The MIT Press, 1992.
5. Matthews, J., and Launchbury, J. Elementary microarchitecture algebra. To appear in CAV99, International Conference on Computer Aided Verification, July 1999.