A mathematical model of computing agents, Logic Colloquium, ’73, NorthHolland (1973)

by Processes