Determinism and Looping (1988)

by George Gargov, Solomon Passy
Venue:in Combinatory PDL. Theoretical Computer Science