An institution for Alloy and its translation to second-order logic - Neves, Renato (2014)
Publicado em "Integration of reusable systems". ISBN 978-3-319-04716-4