Jan A. Bergstra, Jerzy Tiuryn, J. V. Tucker. Floyds Principle, Correctness Theories and Program Equivalence. Theoretical Computer Science, 17:113-149, 1982.
@article{BergstraTT82,
title = {Floyds Principle, Correctness Theories and Program Equivalence},
author = {Jan A. Bergstra and Jerzy Tiuryn and J. V. Tucker},
year = {1982},
researchr = {https://researchr.org/publication/BergstraTT82},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {17},
pages = {113-149},
}