Jan A. Bergstra Jerzy Tiuryn J. V. Tucker Floyds Principle, Correctness Theories and Program Equivalence. 113-149 1982 17 Theor. Comput. Sci. db/journals/tcs/tcs17.html#BergstraTT82