Programming and debugging distributed real-time applications in Ada. - Andrew D. Hutcheon; David S. Snowden; Andy J. Wellings (IRTAW, 1987)

Knowledge-based diagnosis of semantic errors in ADA programs. - David S. Snowden (1987)