List of citations in Numdam for : An abstract monadic semantics for value recursion

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 38 (2004) no. 4, pp. 375-400.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 37 (2003) no. 4, pp. 273-299.