author : Andrew D. McGettrick

Books

• The Definition of Programming Languages. 1980
• Program Verification Using Ada. 1982
• Concurrent Programming. 1988, with Narain Gehani