1. H. Barringer, M.D. Fisher, D.M. Gabbay, G. Gough and R.P. Owens MetateM: A Framework for Programming in Temporal Logic (draft report), 1988
2. J. Darlington and L. While Controlling the Behaviour of Functional Programs Third Conference on Functional Programming Languages and Computer Architecture, 1987
3. D.M. Gabbay “Modal and Temporal Logic Programming” in Temporal Logics and their Applications edited by A. Galton, Academic Press, 1987
4. M.D. Fisher Implementing a Prototype
MetateM
Interpreter (preliminary internal report) Department of Computer Science, University of Manchester, 1988
5. I. Hodkinson Decidability and elimination of fixpoint operators in the temporal logic USF preprint, Department of Computing, Imperial College, London SW7 2BZ, 1989