Alonderis R. „Žymėtas Sekvencinis skaičiavimas Propozicinei Tiesinio Laiko Logikai“. Lietuvos Matematikos Rinkinys, T. 53, nr. A, 2012 m.gruodžio, p. 1–6, doi:10.15388/LMR.A.2012.01.