Hussak, W. , Keane, J. (2010), '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, 4(3), 361 - 368.