Modelling recursion