MLA

Berstel-Da Silva, Bruno, and Berstel-Da Silva. Verification of Business Rules Programs. Springer Berlin Heidelberg, 2014.

APA

Berstel-Da Silva, B., & Berstel-Da Silva, B. Silva. (2014). Verification of Business Rules Programs. Springer Berlin Heidelberg.

Chicago

Berstel-Da Silva, Bruno, and Berstel-Da Silva. Verification of Business Rules Programs. : Springer Berlin Heidelberg, 2014.