Andrew D. McGettrick

1944

• Concurrent programming
• Graded problems in computer science
• Algol 68
• Program verification using Ada
• Software specification techniques
• The definition of programming languages