Comparing abstract data type specifications via their normal forms - Remy, Jean L.; Veloso, Paulo A. (Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática, 1981)