Andrew D. McGettrick

Software specification techniques

1986

Graded problems in computer science

1983

Program verification using Ada

1982

The definition of programming languages

1980