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