Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846

Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43