External Links

    Journal: IEEE Computer

    Volume 20, Issue 9

    17 -- 41Jeff Conklin. Hypertext: An Introduction and Survey
    43 -- 57Barry W. Boehm. Improving Software Productivity
    59 -- 69Charles E. Gimarc, Veljko M. Milutinovic. A Survey of RISC Processors and Computers of the Mid-1980s
    71 -- 83Michael J. Flynn, Chad L. Mitchell, Johannes M. Mulder. And Now a Case for More Complex Instruction Sets
    85 -- 91C. A. R. Hoare. An Overview of Some Formal Methods for Program Design
    runs on