Axel Poigné: An Order Semantics for Non-Deterministic Recursive Program Schemes. GI Jahrestagung 1981: 122-129