http://cs.swan.ac.uk/~csmarkus/ACID/