home
>
book reviews
> Rosemary Docherty
Google >
Rosemary Docherty
author : Rosemary Docherty
Short works
Z and Abstract Machine Notation: A Comparison. 1994.
(In
8th Z User Workshop
)