Alonderis, Romas. „Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija“. Lietuvos matematikos rinkinys, t. 39, nr. III, 1999 m.gruodžio, p. 305–310 , https://doi.org/10.15388/LMD.1999.35639.