1. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press (1996)
2. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: An Introduction. In: Formal Aspects of Computing, vol. 7(5), pp. 533–549. Springer, London (1995)
3. Lecture Notes in Computer Science;H. Barringer,2004
4. Lecture Notes in Computer Science;H. Barringer,2004
5. Barringer, H., Rydeheard, D., Gabbay, D.: Reactive Grammars: An Initial Exploration, Draft paper(2007), see
http://www.cs.man.ac.uk/~david/reactive.html