Recursive procedures by Piet Bakker