Co-operating sequential processes (1968)

by E W Dijkstra
Venue:In Programming Languages, F. Genuys