Merz, S. (2003). On the Logic of TLAp. Computing and Informatics, 22(3-4), 351–379. https://cai.type.sk/content/2003/3-4/on-the-logic-of-tlap/