Recursive Data Structures - Hoare, C (1975)