home
>
book reviews
> A. A. Donnelly
Google >
A. A. Donnelly
author : A. A. Donnelly
Short works
An Algebraic proof in VDM*. 1995.
(In
ZUM '95
)