@misc{indiciae2398b59e7939, title = {Introducing Sourcements}, author = {J. A. Bergstra and G. P. A. J. Delen and S. F. M. van Vlijmen}, year = {2011}, url = {https://arxiv.org/abs/1107.4684}, note = {Source identifier: 1107.4684} }