A Translation from Alloy to B. - Sebastian Krings; Joshua Schmidt; Carola Brings; Marc Frappier; Michael Leuschel (ABZ, 2018)