On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.

Hong Zhu

Browse the full TASE paper archive.