Translating Alloy and extensions to classical B. - Krings, Sebastian; Leuschel, Michael; Schmidt, Joshua; Schneider, David; Frappier, Marc (Science of Computer Programming, 2020)