Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I
scientific article; zbMATH DE number 3688679
scientific article