Joakim von Wright The Lattice of Data Refinement. 105-135 1994 31 Acta Inf. 2 db/journals/acta/acta31.html#Wright94