Wajszczyk, J. (1994). Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej. Filozofia Nauki, 2(3-4), 57–68. Pobrano z https://www.fn.uw.edu.pl/index.php/fn/article/view/77