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