Data refinement and algebraic structure (0)

by Y Kinoshita, J Power
Venue:Acta Informatica