TY - BOOK AU - Brady,J.M. TI - The theory of computer science: a programming approach SN - 0470991038 U1 - 001.64 PY - 1977/// CY - London PB - Chapman and Hall KW - Computer programming KW - Machine theory KW - Computable functions N1 - Includes index ER -