Title: The Theory and practice of refinement
Subjects: Development, Interactive computer systems, Congresses, Computer software