Úvod do teorie počítačů - Rajlich, Václav (Matematický seminář SNTL, 1979)