André Arnold Maurice Nivat Formal Computations of Non Deterministic Recursive Program Schemes. 219-236 1980 13 Mathematical Systems Theory db/journals/mst/mst13.html#ArnoldN80