Author:
Publication: Artificial Intelligence
Author index
Synthesising recursive functions with side effects