Constructing Verifiably Reliable and Secure Communications Processing Systems (1977)

by D I Good