Jifeng He, C. A. R. Hoare. Unifying theories of programming. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 97-99, 1998.
@inproceedings{JifengH98,
title = {Unifying theories of programming},
author = {Jifeng He and C. A. R. Hoare},
year = {1998},
tags = {C++, programming},
researchr = {https://researchr.org/publication/JifengH98},
cites = {0},
citedby = {0},
pages = {97-99},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998},
editor = {Ewa Orlowska and Andrzej Szalas},
}