Y. Jaques, S. Anibaldi, F. Celli, I. Subirats, A. Stellato, and J. Keizer, “Proof and Trust in the OpenAGRIS Implementation”, DCMI Proceedings, pp. 33–37, Sep. 2012.