David A. Schmidt Approximation Properties of Abstract Data Types. 73-94 1983 24 Theor. Comput. Sci. db/journals/tcs/tcs24.html#Schmidt83 https://doi.org/10.1016/0304-3975(83)90131-7