Comparing abstract data type specifications via their normal forms - Remy, Jean L.; Veloso, Paulo A. (Monografias em Ciência da Computação, 1981)