A Generalization of Kleene s Theorem and Nondeterministic Structured Programming

Val Tannen, Octavian Stanasila. A Generalization of Kleene s Theorem and Nondeterministic Structured Programming. Inf. Comput., 51(2):146-152, November 1981.

Abstract

Abstract is missing.