A VDM study of fault-tolerant stable storage - towards a computer engineering mathematics by A. Butterfield. Published by Trinity College, Department of Computer Science in 1993. Publication and catalogue information, links to buy online and reader comments.