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