"Specifications, Models, and Implementations of Data Abstractions."

Mitchell Wand (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics