Temporal logics and their applications, edited by Galton Antony, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein:Galton Antony. Temporal logic and computer science: an overview. Pp. 1– 52.Barringer Howard. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90.Hale Roger. Temporal logic programming. Pp. 91– 119.Sadri Fariba. Three recent approaches to temporal reasoning. Pp. 121– 168.Galton Antony. The logic of occurrence. Pp. 169– 196.Gabbay Dov. Modal and temporal logic programming. Pp. 197– 237.