Alonderis R, Pliuškevičius R. Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai. LMR [Prieiga per internetą]. 2011 m.gruodžio15 d. [žiūrėta 2025 m.lapkričio6 d.];52(proc. LMS):231–236. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/15430