>>797
米澤明憲
Specifying Software Systems with High Internal Concurrency Based on Actor Formalism
情報処理学会 昭和55年度論文賞 英文論文誌 vol. 2 no. 4 pp. 208-218.

ってのがありますが。
　米澤先生ってMIT　から78年頃戻られているので、
　その直後のPaperじゃないかな。