E.W.Dijkstra Archive: Over de sequentialiteit van procesbeschrijvingen (EWD 35)