Giedra, Haroldas. „Sekvencinis skaičiavimas Be pjūvio taisyklės Logikai S5n(ED)“. Lietuvos Matematikos Rinkinys, t. 51, nr. proc. LMS, 2010 m.gruodžio, p. 336–341, https://doi.org/10.15388/LMR.2010.61.