T. H. King, “Theoretical linguistics and grammar engineering as mutually constraining disciplines”, hpsg, pp. 339–359, Dec. 2016.