Books
- Principles of Automated Theorem Proving. 1991
Short works
- Closure Induction in a Z-like Language. 2000. (In ZB 2000 )
- On Mutually Recursive Free Types in Z. 2000. (In ZB 2000 )
- Reasoning Inductively about Z Specifications via Unification. 2000. (In ZB 2000 )