TY - BOOK AU - "Brady, J M" TI - Theory of Computer Science CY - Clarendon N1 - includes index and biblioraphy ER -