A fixed point theorem in partial quasi-metric spaces and an application to Software Engineering | Publicación