TY  - BOOK
TI  - ACM Transations on Programming Language and Systems: (Print)
SN  - 0164-0925
PY  - 2011///-
CY  - .-New York
PB  - :ACM
ER  -