The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /
Carpenter, Bob.
Cambridge : Cambridge University Press,
1992.