Functional recursion and complex objects - Linnemann, Volker (IBM Deutschland GmbH <Stuttgart>, 1988)