On Flowchart Theories: Part II. The Nondeterministic Case

Gheorghe Stefanescu. On Flowchart Theories: Part II. The Nondeterministic Case. Theoretical Computer Science, 52:307-340, 1987.

Abstract

Abstract is missing.