Evolution of a concurrent programming formalism. - G. Rietti (1980)