Svyatoslav Sergeevich Lavrov. On the Relationship between Foundations of Programming and Mathematics. Programming and Computer Software, 27(6):289-296, 2001. [doi]
@article{Lavrov01:0,
title = {On the Relationship between Foundations of Programming and Mathematics},
author = {Svyatoslav Sergeevich Lavrov},
year = {2001},
doi = {10.1023/A:1012746417053},
url = {http://dx.doi.org/10.1023/A:1012746417053},
tags = {programming},
researchr = {https://researchr.org/publication/Lavrov01%3A0},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {27},
number = {6},
pages = {289-296},
}