"A Bradford book".
Constraint-based grammar formalisms : parsing and type inference for natural and computer languages by Stuart M. Shieber. ISBN 0262193248. Published by MIT Press in 1992. Publication and catalogue information, links to buy online and reader comments.