TY - BOOK TI - ACM transactions on Computation theory SN - 1942-3454 CY - New York PB - ACM KW - Computer science ER -