Russ Miller Viktor K. Prasanna Dionisios I. Reisis Quentin F. Stout 678-692 1993 42 IEEE Trans. Computers 6 db/journals/tc/tc42.html#MillerKRS93 http://doi.ieeecomputersociety.org/10.1109/12.277290