David W. Miller Jinhua Guo Eileen Kraemer Yin Xiong On-the-fly calculation and verification of consistent steering transactions. 10 2001 SC http://doi.acm.org/10.1145/582034.582044 db/conf/sc/sc2001.html#MillerGKX01