Data refinement and algebraic structure. ETL (1996)

by Y Kinoshita, A J Power