000 00522nas a2200193 cc4500
001 000009723
003 RuMoIPM
005 20230210213825.0
008 230207s2000 xxu|| p 0 0eng d
022 _a0164-0925
040 _aRuMoBEN
_brus
_ercr
041 0 _aeng
044 _axxu
245 1 0 _aVol. 22 No. 3
260 _c2000
773 1 8 _7nnas
_gVol. 22 No. 3
_tACM Transactions on Programming Languages and Systems. 2000
_w000009721
_x0164-0925
856 4 0 _uhttps://dl.acm.org/toc/toplas/2000/22/3
942 _cIS
999 _c9723
_d9723