Uma das técnicas utilizadas para reduzir a ambiguidade de requisitos em tipos abstratos de dados é o uso de notações baseadas em linguagens formais matemáticas, como a abordagem algébrica.