Coercive subtyping: theory and implementation
scientific article; zbMATH DE number 6171336