An introduction to unification-based approaches to grammar - Shieber, Stuart M. (Center for the Study of Language and Information, 1986)