A. Moreira. " Parametrização de Componentes de Especificação com Preservação de Semântica", in Anais do XII Simpósio Brasileiro de Engenharia de Software, Maringá/PR, 1998, pp. 155-170, doi: https://doi.org/10.5753/sbes.1998.24025.