Krzysztof Walczak Wojciech Cellary Martin White 93-95 2006 39 IEEE Computer 3 http://doi.ieeecomputersociety.org/10.1109/MC.2006.108 db/journals/computer/computer39.html#WalczakCW06