Storage concepts in a software-reliability-directed computer architectureGlenford J. Myers1978ISCA 1978