Determinism and looping (1988)

by G Gargov, S Passy
Venue:in combinatory PDL. Theoretical Computer Science