Constraint-based grammar formalisms parsing and type inference for natural and computer languages
Shieber, Stuart M.
Cambridge, Mass. London MIT Press
c1992
"A Bradford book"
Bibliography: p. [171]-176
Computational linguistics.
Grammar, Comparative and general
Programming languages (Electronic computers)
Parsing (Computer grammar)