home
>
book reviews
> Lindsay Groves
Google >
Lindsay Groves
author : Lindsay Groves
Short works
Practical data refinement for the Z schema calculus. 2005.
(In
ZB 2005
)