Ria Follett Synthesising Recursive Functions with Side Effects. 175-200 1980 13 Artif. Intell. 3 db/journals/ai/ai13.html#Follett80 http://dx.doi.org/10.1016/0004-3702(80)90001-6