1. Formal Methods in Artificial Intelligence, Cambridge University Press, 1988.
2. “Temporal logic and computer science: an overview,” In Temporal Logics and Their Applications, (Ed.), Academic Press, New York, 1987.
3. The Logic of Time, Reidel, 1983.
4. “An interval based representation of temporal knowledge,” In Proceedings of 7th IJCAI, Vancouver, August 1981, pp. 221–226.
5. Maintaining knowledge about temporal intervals