On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages by Brian Henderson-Sellers