00414nam a22001457a 4500003000400000005001700004008004100021022001900062040001200081245006500093260002900158300004700187310001500234440001900249SNU20150421151145.0150421b        xxu||||| |||| 00| 0 eng d  2ACMa0164-0925  bEnglish  aACM Transations on Programming Language and Systemsb(Print)  a.-New Yorkb:ACMc@2011-  aVol.-33, No.- (2-6), Jan-Dec.b,Hard Bound  aBiMonthly   nSet of 5 Jrls.