Pliuškevičius, R. (2014) „Žymių metodas tiesinei laiko logikai“, Lietuvos matematikos rinkinys, 55(A), p. 46–50. doi:10.15388/LMR.A.2014.09.