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