Covariant Specification

David L. Shang. Covariant Specification. SIGPLAN Notices, 29(12):58-65, 1994.

Abstract

Abstract is missing.