&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ACM Transactions on Programming Languages and Systems. 2000.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Vol. 22 No. 3. &mdash; 2000. &mdash; ISSN 0164-0925.<br><br><br><br>[ SYS NUM: 9723 ]