Memory models : a formal analysis using VDM /
Butterfield, A.(Andrew)
Trinity College (Dublin, Ireland).Department of Computer Science.
Dublin : Trinity College, Department of Computer Science, School of Engineering,
1992.
Error-correcting codes (Information theory)
Fault-tolerant computing.
Computer networks