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