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