Walter Hussak, Specifying Strict Serializability of Iterated Transactions in Propositional Temporal Logic. journal = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology. September 2007, vol. 9(9). 432 - 438 [viewed 26 April 2024]. Available from: https://publications.waset.org/pdf/5190.