1. Abdulla, P.A., Aronis, S., Atig, M.F., Jonsson, B., Leonardsson, C., Sagonas, K.: Stateless model checking for TSO and PSO. Acta Informatica 54, 789–818 (2017). https://doi.org/10.1007/s00236-016-0275-0
2. Lecture Notes in Computer Science;M Clavel,2003
3. Hayes, I.J., Jones, C.B., Meinicke, L.A.: Specifying and reasoning about shared-variable concurrency. In: Bowen, J.P., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 110–135. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-40436-8_5
4. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998). http://www.unifyingtheories.org
5. Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. Technical Monograph PRG-25, Programming Research Group, Oxford University Computing Laboratory (1981). https://www.cs.ox.ac.uk/files/9025/PRG-25.pdf