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.