home
>
book reviews
> Wladyslaw M. Turski
Google >
Wladyslaw M. Turski
author : Wladyslaw M. Turski
Books
The Specification of Computer Programs
. 1987,
with
Thomas S. E. Maibaum