A tool for data refinement (1997)

by R Ruksenas, J von Wright