Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy. The Essence of Reynolds. Formal Asp. Comput., 26(3):435-439, 2014. [doi]
@article{BrookesOR14-0, title = {The Essence of Reynolds}, author = {Stephen Brookes and Peter W. O'Hearn and Uday S. Reddy}, year = {2014}, doi = {10.1007/s00165-014-0295-x}, url = {http://dx.doi.org/10.1007/s00165-014-0295-x}, researchr = {https://researchr.org/publication/BrookesOR14-0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {26}, number = {3}, pages = {435-439}, }