home
>
book reviews
> Alf Smith
Google >
Alf Smith
author : Alf Smith
Short works
On Recursive Free Types in Z. 1992.
(In
6th Z User Workshop
)