Formal spec of Muldis D relational DBMS lang Darren Duncan <darren@DarrenDuncan.net>