Matemaatilise loogika põhimõisteid : Lambada-arvutustest
Lorents, Peeter
Arvutustehnika ja Andmetöötlus
1990
/
6, lk. 45-48; 7, lk. 43-48