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