&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ACM Transactions on Programming Languages and Systems. &mdash; Association for Computing Machinery.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2003. &mdash; ISSN 0164-0925.<br><br><br><br>[ SYS NUM: 9735 ]