Class invariants as abstract interpretation of trace semantics
scientific article; zbMATH DE number 6868996