A note on model checking the modal - calculus (1989)

by G Winskel
Venue:ICALP '89, Lecture Notes in Computer Science 372