Arun Lakhotia Implication and Equivalence I/O. 46-52 1985 19 Operating Systems Review 1 db/journals/sigops/sigops19.html#Lakhotia85