Logic Foundations of the OCL Modelling Language | Publicación