Victor Bushkov, Dmytro Dziuma, Panagiota Fatourou, Rachid Guerraoui: The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live. J. ACM 66(1): 2:1-2:66 (2019)