Title: Propositional dynamic logic of regular programs with tests, converse and infinite computations
First published: 1988
Subjects: Computer programs, Logic, Symbolic and mathematical, Symbolic and mathematical Logic
LC classification: QA76.6 S554 1988