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