The partial metrics system: modeling the stepwise refinement process using partial metrics
Robert G. Reynolds · Communications of the ACM · 1987
The Partial Metrics System design is explained, with an emphasis on the refinement process. A model, with its three phases, shows that the pseudocode refinement process can be monitored in partial metric terms.