A formal approach to object-oriented software engineering
scientific article; zbMATH DE number 1780629
scientific article