On flowchart theories: Part II. The nondeterministic case (1987)

by G Ştefănescu
Venue:Theoretical Computer Science