A VDM study of fault-tolerant stable storage : towards a computer engineering mathematics /
Butterfield, A.(Andrew)
Trinity College (Dublin, Ireland).Department of Computer Science.
Dublin : Department of Computer Science, Trinity College Dublin,
1993.