Lech Banachowski. On proving program correctness by means of stepwise refinement method. In Andrzej Salwicki, editor, Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Volume 148 of Lecture Notes in Computer Science, pages 27-44, Springer, 1980.
@inproceedings{Banachowski80, title = {On proving program correctness by means of stepwise refinement method}, author = {Lech Banachowski}, year = {1980}, tags = {refinement}, researchr = {https://researchr.org/publication/Banachowski80}, cites = {0}, citedby = {0}, pages = {27-44}, booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980}, editor = {Andrzej Salwicki}, volume = {148}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11981-7}, }