João Paulo A. Almeida, Claudenir M. Fonseca, Victorio Albani de Carvalho: A Comprehensive Formal Theory for Multi-level Conceptual Modeling. ER 2017: 280-294