ACM transactions on programming languages and systems. - Association for Computing Machinery. (Association for Computing Machinery, 1979)