The Mia System of Subjunctive by James Cooke Brown.
Another counterfactual/subjunctive proposal. A version of this was adopted by the Keugru in early 1997, although another version is also under consideration.
Identity Predicates and MEX, by Emerson Mitchell.
A gritty discussion of the requirements of a Mathematical Expression grammar, with extensive comments by JCB.