Neves R, Madeira A, Martins M, Barbosa LS.? 2014.??An institution for alloy and its translation to second-order logic. Integration of Reusable Systems . 263:45-75.