Irene Greif Carl Hewitt Actor Semantics of Planner-73. 67-77 1975 POPL db/conf/popl/popl75.html#GreifH75