On the Composition of (1982)

by V R Pratt
Venue:Processes, Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages