Maksym Petrenko Denys Poshyvanyk Václav Rajlich Joseph Buchta 25-31 2007 40 IEEE Computer 11 http://doi.ieeecomputersociety.org/10.1109/MC.2007.402 db/journals/computer/computer40.html#PetrenkoPRB07