TY  - BOOK
AU  - Williams, J.G.
TI  - Instantiation theory
CY  - Berlin
ER  -