TY - BOOK TI - Computer science & Engineering : Theory of computation ER -