The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution by Bob Carpenter. ISBN 0521419328. Published by Cambridge University Press in 1992. Publication and catalogue information, links to buy online and reader comments.