Hussak, W. (2007), 'Specifying Strict Serializability of Iterated Transactions in Propositional Temporal Logic', World Academy of Science, Engineering and Technology, Open Science Index 9, International Journal of Mathematical and Computational Sciences, 1(9), 432 - 438.