Hussak, W. , Keane, J.. "Algebraic Specification of Serializability for Partitioned Transactions". World Academy of Science, Engineering and Technology, Open Science Index 39, International Journal of Computer and Information Engineering, (2010), 4(3), 361 - 368.