Domain theoretic characterisations of quasi-metric completeness in terms of formal balls | Publicación