A New Formalization of Subtyping to Match Subclasses to Subtypes
scientific article; zbMATH DE number 6320265