CITATION STYLE
Jones, C. B. (2010). The Role of Auxiliary Variables in the Formal Development of Concurrent Programs. In Reflections on the Work of C.A.R. Hoare (pp. 167–187). Springer London. https://doi.org/10.1007/978-1-84882-912-1_8
Mendeley helps you to discover research relevant for your work.