Rafat Alshorman and Walter Hussak, A CTL Specification of Serializability for Transactions Accessing Uniform Data. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. March 2009, vol. 27(3). 780 - 786 [viewed 23 September 2024]. Available from: https://publications.waset.org/pdf/5156.