Alonderis, R. ir Pliuškevičius, R. (2011) „Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 231–236. doi:10.15388/LMR.2011.ml02.