Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Giving Alloy a family. IRI 2013: 512-519