Great Price Books

Recursive definitions and structural induction