Unifying theories of programming
Jifeng He and C. A. R. Hoare
Book Title
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
Pages
97−99
Year
1998