&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ACM Transactions on Programming Languages and Systems. 1990.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Vol. 12 No. 4. &mdash; 1990. &mdash; ISSN 0164-0925.<br><br><br><br>[ SYS NUM: 9708 ]