J. Lezcano and J. Hernández, “Partial metric spaces”, Vis. Antataura, vol. 7, no. 1, pp. 168–184, Jun. 2023.