transaction-system-java Description(currently in polish): https://www.mimuw.edu.pl/~iwanicki/courses/cp/2020/