CITATION STYLE
Dijkstra, E. W. (1982). A Correctness Proof for Communicating Processes: A Small Exercise. In Selected Writings on Computing: A personal Perspective (pp. 259–263). Springer New York. https://doi.org/10.1007/978-1-4612-5695-3_47
Mendeley helps you to discover research relevant for your work.