A fixed point theorem in partial quasi-metric spaces and an application to software engineering
scientific article; zbMATH DE number 7037763
scientific article