Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II

Jean H. Gallier. Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II. Theoretical Computer Science, 13:239-270, 1981.

Abstract

Abstract is missing.