Attribute-value logic and the theory of grammar - Johnson, Mark (CSLI lecture notes ;, 1988)