TY - RPRT TI - Fault tolerant distributed systems using Ada AU - Knight, J. C. AU - Urquhart, J. I. A. PY - 1983 UR - https://ntrs.nasa.gov/citations/19840027220 ID - 19840027220 ER -