Wajszczyk, J. „Niedefiniowalność Funktora Zmiany Na Gruncie rachunków Logiki Temporalnej”. Filozofia Nauki, t. 2, nr 3-4, wrzesień 1994, s. 57-68, https://www.fn.uw.edu.pl/index.php/fn/article/view/77.