Alonderis, Romas. 2012. „Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai“. Lietuvos matematikos rinkinys 53 (A): 1–6. https://doi.org/10.15388/LMR.A.2012.01.