Argus reference manual (1987)

by Barbara Liskov, Mark Day, Maurice Herlihy, Paul Johnson, Robert Scheifler, William Weihl