Franz Lichtenberger. A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. In ADT. 1983.
@inproceedings{Lichtenberger83, title = {A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation}, author = {Franz Lichtenberger}, year = {1983}, tags = { algebra}, researchr = {https://researchr.org/publication/Lichtenberger83}, cites = {0}, citedby = {0}, booktitle = {ADT}, }