Analysis of Ada for a crucial distributed application. - John C. Knight; Marc E. Rouleau (WADAS, 1987)

A new approach to fault tolerance in distributed Ada programs. - John C. Knight; Marc E. Rouleau (IRTAW, 1988)