ALONDERIS, R. Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija. Lietuvos matematikos rinkinys, v. 39, n. III, p. 305–310 , 17 gruodž.1999.