Troelstra, 1999. From constructivism to computer science 211.. https://doi.org/10.1016/s0304-3975(97)00172-2