A unified theory of data refinement. Abo Akademi (1994)

by J von Wright