Determinism and looping (1988)

by G & S Passy Gargov
Venue:in Combinatory PDL. Theoretical Computer Science