&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ACM Transactions on Programming Languages and Systems. 2003.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Vol. 25 No. 1. &mdash; 2003. &mdash; ISSN 0164-0925.<br><br><br><br>[ SYS NUM: 9736 ]