On the interpretation of mathematical entities in the formalisation of programming and modelling languages | Publicación