Constraint-based grammar formalisms parsing and type inference for natural and computer languages - Shieber, Stuart M. (MIT Press, 1992)
Includes bibliographical references (p. [171]-176) and index