Ampadu, C. B. The Kannan Contraction Mapping Theorem for Composition Operators in Metric Spaces and Partially Ordered Metric Spaces. EJMS 2019, 3, 105-119.