David W. Stemple, Tim Sheard. Specification and Verification of Abstract Database Types. In Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. pages 248-257, ACM, 1984. [doi]
Abstract is missing.