1937
3 works on record
Mathematical computer performance and reliability
Decomposability
Justifying the dependability of computer-based systems