Jean H. Gallier. Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I. Theoretical Computer Science, 13:193-223, 1981.
@article{Gallier81:0, title = {Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I}, author = {Jean H. Gallier}, year = {1981}, tags = {semantics}, researchr = {https://researchr.org/publication/Gallier81%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {13}, pages = {193-223}, }