Temporal Logic and Computer Science: An Overview

Antony Galton

In Antony Galton, editor, Temporal Logics and their Applications, Academic Press, 1987, pages 1-52.