Alonderis, R. and 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), pp. 231–236. doi:10.15388/LMR.2011.ml02.