Temporal logics and their applications
Galton, Antony,1952-
London Academic
1987
Includes bibliographies and index
Electronic digital computers
Logic, Symbolic and mathematical.