From logic to computers. - Thewlis, P. J.; Foxon, B. N. T.