This is a preview of subscription content, access via your institution
Access options
Subscribe to this journal
Receive 51 print issues and online access
$199.00 per year
only $3.90 per issue
Buy this article
- Purchase on Springer Link
- Instant access to full article PDF
Prices may be subject to local taxes which are calculated during checkout
References
Hoare, C. A. R., He Jifend & Sanders, J. W. Inform. Proc. Lett. 25, 71–76 (May 1987).
Gardiner, P. H. B. & Morgan, C. C. Formal Aspects Comput. 5, 367–382 (1993).
Gardiner, P. H. B. & Morgan, C. C. A Single Complete Rule for Data Refinement in On The Refinement Calculus (eds Morgan, C. & Vickers, T.) (Springer, Berlin, 1994).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mclver, A. A question of identity. Nature 368, 589–590 (1994). https://doi.org/10.1038/368589a0
Issue Date:
DOI: https://doi.org/10.1038/368589a0