Ian A. Mason, Carolyn L. Talcott. References, Local Variables and Operational Reasoning. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 186-197, IEEE Computer Society, 1992.
@inproceedings{MasonT92,
title = {References, Local Variables and Operational Reasoning},
author = {Ian A. Mason and Carolyn L. Talcott},
year = {1992},
researchr = {https://researchr.org/publication/MasonT92},
cites = {0},
citedby = {0},
pages = {186-197},
booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA},
publisher = {IEEE Computer Society},
}