The logical approach to syntax foundations, specifications, and implementations of theories of government and binding - Stabler, Edward P. (ACL-MIT Press series in natural language processing, 1992)