GIEDRA, H. Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED). Lietuvos matematikos rinkinys, v. 51, n. proc. LMS, p. 336–341, 21 gruodž.2010.