author : Mairead Meagher

Short works

• Performing Algorithmic Refinement before Data Refinement in B. 2000. (In ZB 2000 )