The logical approach to syntax foundations, specifications, and implementations of theories of government and binding - Stabler, Edward P. (Cambridge, Mass. MIT Press, 1992)
Keywords: Grammar, Comparative and general -- Syntax; Computational linguistics; Generative grammar; Government-binding theory (Linguistics); Language and logic