@article{745170,
      author = {Berstel-Da Silva, Bruno.},
      url = {http://library.usi.edu/record/745170},
      title = {Verification of business rules programs [electronic  resource] /},
      recid = {745170},
      pages = {1 online resource (241 pages) :},
}