TY - BOOK TI - ACM Trans. On Programming Language & System. : Vol. 32 No. 1,2,3, 2010 U1 - 004 PB - Association for Computing Machinery KW - COMPUTER ER -