author : Lindsay Groves

Short works

• Practical data refinement for the Z schema calculus. 2005. (In ZB 2005 )