Walter Hussak and  John Keane,  Algebraic Specification of Serializability for Partitioned Transactions.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    March 2010, vol. 39(3). 361 - 368
    [viewed 19 April 2024]. Available from: https://publications.waset.org/pdf/14222.