TOPLAS 8(3) Jun 1986 The MIT Press scientific computation series
(1986)
()
ACM Transactions on Programming Languages and Systems (TOPLAS)