Title: Introduction to Type Dynamics and Development
First published: 1996