Matemaatilise loogika põhimõisteid : Lambada-arvutustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 6, lk. 45-48; 7, lk. 43-48