Structured Recursion for Non-uniform Data-types (2000)

by P Blampied