home
>
NF reviews
> Andrew D. McGettrick
Google >
Andrew D. McGettrick
author : Andrew D. McGettrick
Books
(
The Definition of Programming Languages
)
(
Program Verification Using Ada
. 1982)
(
Concurrent Programming
. 1988.
With
Narain Gehani
)