Alonderis, R. (1999) “Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija”, Lietuvos matematikos rinkinys, 39(III), pp. 305–310 . doi:10.15388/LMD.1999.35639.