External Links

    Journal: Operating Systems Review

    Volume 11, Issue 3

    5 -- 7Andrew M. Lister. The Problem of Nested Monitor Calls
    8 -- 12A. J. Payne. A Formalised Technique for Expressing System Exercisers
    runs on