Elements of interaction (1993)

by R Milner
Venue:Communications of the ACM