Data abstraction: a general framework to handle program verification of data structures
scientific article; zbMATH DE number 7543916