A calculus for overloaded functions with subtyping
scientific article; zbMATH DE number 758680