H.-D. Ehrich;A. Sernadas
-;-
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering