Search
❯
11 Feb 20261 min read
Backhouse, R., & Hoogendijk, P. (1997). Elements of a Mathematical Theory of Program Construction.