Constructing verifiably reliable and secure communications processing systems, Institute for Computing Science and Computer A pplications Report ICSCACM P-S. The University of Texas at (1977)

by D Good
Venue:ICRS [75], 482-492. Also IEEE Transactions on Software Engineering, SE-I, I, March l975