Arithmetical Analysis of Digital Computing Nets. - Richard C. Jeffrey (J. ACM, 1956)

Finite State Transformations - Richard C. Jeffrey (Inf. Control., 1964)

Computability and logic. - George Boolos; Richard C. Jeffrey (Cambridge Univ. Press, 1974)

Computability and logic (2. ed.). - George Boolos; Richard C. Jeffrey (Cambridge University Press, 1987)