Uri Pincas. Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?. Minds and Machines, 21(2):337-359, 2011. [doi]
@article{Pincas11,
title = {Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering?},
author = {Uri Pincas},
year = {2011},
doi = {10.1007/s11023-011-9237-z},
url = {http://dx.doi.org/10.1007/s11023-011-9237-z},
researchr = {https://researchr.org/publication/Pincas11},
cites = {0},
citedby = {0},
journal = {Minds and Machines},
volume = {21},
number = {2},
pages = {337-359},
}