Verification of Business Rules Programs - Berstel-Da Silva, Bruno (Springer Berlin Heidelberg : Imprint: Springer, 2014)