Jason Gait The Optical File Cabinet: A Random-Access File System for Write-Once Optical Disks. [Citation Graph (0, 0)][DBLP] IEEE Computer, 1988, v:21, n:6, pp:11-22 [Journal]
Harlan D. Mills Stepwise Refinement and Verification in Box-Structured Systems. [Citation Graph (0, 0)][DBLP] IEEE Computer, 1988, v:21, n:6, pp:23-36 [Journal]