Elements of interaction (1993)

by R Milner
Venue:Comm. ACM