André Arnold Maurice Nivat Non Deterministic Recursive Program Schemes. 12-21 1977 FCT db/conf/fct/fct77.html#ArnoldN77 http://dx.doi.org/10.1007/3-540-08442-8_65