R. Pliuškevičius, “Žymių metodas tiesinei laiko logikai”, LMR, vol. 55, no. A, pp. 46–50, Dec. 2014, doi: 10.15388/LMR.A.2014.09.