Karen A. Frenkel Robin Milner 90-97 1993 36 Commun. ACM 1 db/journals/cacm/cacm36.html#FrenkelM93