Rigorously Transforming UML Class Diagrams. - José Luis Fernández-Alemán; José Ambrosio Toval Álvarez; J. R. Hoyos Barceló (JISBD, 2000)