Recursion and parameter mechanisms : an axiomatic approach
Recursion and parameter mechanisms : an axiomatic approach / [by] W. P. de Roever