Kai Li Jeffrey F. Naughton Multiprocessor Main Memory Transaction Processing. 177-187 1988 DPDS db/conf/dpds/dpds88.html#LiN88