Temporal Logics in Computer Science: Finite-State S... by Lange, Martin Hardback

Executing Temporal Logic Programs By Ben C. Moszkowski

Executing Temporal Logic Programs By B.C Moszkowski

Temporal Logics in Computer Science: Finite-State Systems: 58 (C

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in,

Thinking Functionally with Haskell

Formal Models of Communicating Systems: Languages, Automata, and Monadic...