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

by G Stefanescu
Venue:Theoret. Comput. Sci