Proof and Trust in the OpenAGRIS Implementation - Jaques, Yves (2012)