Alonderis, Romas. „Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija“. Lietuvos matematikos rinkinys 39, no. III (gruodžio 17, 1999): 305–310 . žiūrėta rugpjūčio 25, 2026. https://zurnalai.vu.lt/LMR/article/view/35639.