Carl E. Hewitt
发表
Henry G. Baker,
Carl E. Hewitt,
C. Hewitt,
1978,
Formal Description of Programming Concepts.
Carl E. Hewitt,
C. Hewitt,
1970
.