On the composition of processes (1982)

by V R Pratt
Venue:in Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, ACM