- Fisher, M., and Barringer, H.,
Program Logics: A Short Survey,
Technical Report number UMCS-86-11-1, Department of
Computer Science, University of Manchester, November 1986.
- Barringer, H., Fisher, M., Gabbay, D., Gough, G., and Owens, R.,
METATEM: A Framework for
Programming in Temporal Logic,
in Proceedings of REX Workshop on Stepwise Refinement of
Distributed Systems: Models, Formalisms, Correctness,
held in Mook, Netherlands, June 1989.
Published by Springer-Verlag as Lecture Notes in
Computer Science vol. 430.