James F. Allen: Computational linguistics, Temporal logic, Computer science

Hakia: Web search engine, Computational linguistics, Fuzzy logic

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)