The completeness of the algebraic specification methods for data types : (preprint)