Cooperating Sequential Processes,” in Programming Languages (1968)

by E W Dijkstra
Venue:NATO Advanced Study Institute, F. Genuys, Ed