Semantic comparisons of Alloy models. - Jan Oliver Ringert; Syed Waqee Wali (MoDELS, 2020)