Elements of Interaction (1993)

by Robin Milner
Venue:COMMUNICATIONS OF THE ACM