Jean H. Gallier
Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures
ICALP, 1978.
@inproceedings{ICALP-1978-Gallier, author = "Jean H. Gallier", booktitle = "{Proceedings of the Fifth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08860-1_19", isbn = "3-540-08860-1", pages = "251--267", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures}", volume = 62, year = 1978, }