PLIUŠKEVIČIUS, R. Žymių metodas tiesinei laiko logikai. Lietuvos matematikos rinkinys, v. 55, n. A, p. 46–50, 15 gruodž.2014.