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