Approximation Properties of Abstract Data Types

David A. Schmidt. Approximation Properties of Abstract Data Types. Theoretical Computer Science, 24:73-94, 1983.