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