Parameter-preserving data type specifications
See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 323-341 (1985; Zbl 0563.68015).
scientific article; zbMATH DE number 4005598
scientific article