A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques | Publicación