Nancy P. Kronenberg Henry M. Levy William D. Strecker 130-146 1986 4 ACM Trans. Comput. Syst. 2 http://doi.acm.org/10.1145/214419.214421 db/journals/tocs/tocs4.html#KronenbergLS86