Propositional Dynamic Logic of Looping and Converse, Information and Control 54 (1982)

by R Streett