External Links

    Journal: IEEE Computer

    Volume 21, Issue 6

    11 -- 22Jason Gait. The Optical File Cabinet: A Random-Access File System for Write-Once Optical Disks
    23 -- 36Harlan D. Mills. Stepwise Refinement and Verification in Box-Structured Systems
    38 -- 52James T. Rayfield, Harvey F. Silverman. System and Application Software for the Armstrong Multiprocessor
    53 -- 63Walter D. Potter, Robert P. Trueblood. Traditional, Semantic, and Hyper-Semantic Approaches to Data Modeling
    65 -- 76Bowen Liu, Nelson Strother. Programming in VS Fortran on the IBM 3090 for Maximum Vector Performance
    runs on