K. Hopper Hans-Jürgen Kugler Claus Unger Abstract Machines Modelling Network Control Systems. 10-24 1979 13 Operating Systems Review 1 db/journals/sigops/sigops13.html#HopperKU79