John C. Knight, Marc E. Rouleau: Analysis of Ada for a crucial distributed application. WADAS 1987: 103-110