Legatiuk, D., & Nilsson, H. (2017). Abstract modelling: towards a typed declarative language for the conceptual modelling phase.