Józef Wajszczyk, Niedefiniowalność funktora zmiany na gruncie rachunków logiki temporalnej , Filozofia Nauki, 1994, 2, 3/4, s. 57-68