000 00214nas a2200085Ia 4500
008 220719c99999999xx |||||||||||| ||und||
245 0 _aACM Transactions on Programmin Languages & Systems
260 _bACM
942 _cBV
999 _c22682
_d22682