Giedra, Haroldas. „Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED)“. Lietuvos matematikos rinkinys 51, no. proc. LMS (gruodžio 21, 2010): 336–341. žiūrėta rugpjūčio 24, 2026. https://journals.vu.lt/LMR/article/view/17845.