The second is Rogers's landmark thesis (Rogers 1994), which demonstrated that significant portions of Government-and-Binding Theory (GB) can be very transparently expressed in MSO.
while MSO may be a very elegant choice, it does not quite appear to be a sufficient choice.