Discourse between processes

Jan Bergstra
1980 Notre Dame Journal of Formal Logic  
doi:10.1305/ndjfl/1093882945 fatcat:ii5fwf725jcvzpbj2nz7q6aw7a