Towards a mathematical science of programming (2016) [pdf]https://pdfs.semanticscholar.org/38d5/09962ee88655fa05693d4cf589efa2f2343e.pdf by kuwze • 8 years ago 4 0 8 years agoPDpdfs.semanticscholar.org