@inproceedings{DBLP:journals/corr/MargheriPT15,
  author    = {Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Properties of Policy-Based Specifications},
  booktitle = {{WWV}},
  series    = {{EPTCS}},
  volume    = {188},
  pages     = {33--50},
  year      = {2015}
}