1. Cambridge Tracts in Theoretical Computer Science;W.-P. Roever de,1998
2. Cambridge Tracts in Theoretical Computer Science;W.-P. Roever de,2001
3. de Roever, W.-P., de Bakker, J.W.: A calculus for recursive program schemes. In: Automata, Languages and Programming (ICALP), pp. 167–196. North-Holland, Amsterdam (1972)
4. de Roever., W.-P.: A formalization of various parameter mechanisms as products of relations within a calculus of recursive program schemes. Séminaires IRIA, Théorie des algorithmes etc. (1972)
5. de Roever, W.-P.: Semantics for recursive polyadic program schemata. In: Proceeding of Mathematical Foundations of Computer Science (1973);