An institution for Alloy and its translation to second-order logic - Neves, Renato (2014)