Proving Programs by Sets of Computations

Andrzej Blikle. Proving Programs by Sets of Computations. In Andrzej Blikle, editor, Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings. Volume 28 of Lecture Notes in Computer Science, pages 333-358, Springer, 1974.