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