External Links

    Journal: Comput. J.

    Volume 37, Issue 9

    735 -- 744Richard A. Sharman. Speech Recognition in the Office: How the Technology Supports Dictation
    745 -- 752Graham A. Stephen, Paul Mather. What is SP?
    753 -- 763Sunil Vadera, Farid Meziane. From English to Formal Specifications
    764 -- 778Kamyar Jambor-Sadeghi, Mohammad A. Ketabchi, Junjie Chue, M. Ghiassi. A Systematic Approach to Corrective Maintenance
    779 -- 794Ying Hao, Jyh-Charn Liu, Junguk L. Kim. An All-Sharing Load-Balancing Scheme on the COMA/CD Network and its Analysis
    795 -- 813Martin P. Ward. Reverse Engineering through Formal Transformation: Knuths Polynomial Addition Algorithm
    runs on