Thewlis, P. J. From logic to computers. / Thewlis, P. J., Foxon, B. N. T. Dewey Class. No.: 621.38195835 T344F