ALONDERIS, R.; PLIUŠKEVIČIUS, R. Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 231–236, 15 gruodž.2011.