Elements of interaction:Turing award lecture (1993)

by R Milner
Venue:Communications of the ACM