Title: Temporal logic of programs
First published: 1987
Subjects: Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic, Computer programming
LC classification: QA76.6