A. Baltrūnas, “Paprastas antros eilės atstatymo teoremos įrodymas”, LMR, vol. 38, no. II, pp. 489–491 , Dec. 1998, doi: 10.15388/LMD.1998.37965.