@InProceedings{Moskal:SMT2009-20,
  author =       "Micha{\l} Moskal",
  title =        "Programming with Triggers",
  booktitle =    "Workshop on Satisfiability Modulo Theories (SMT
                 2009)",
  pages =        "20--29",
  month =        aug,
  year =         "2009",
  series =       "ACM International Conference Proceeding Series",
  volume =       "375",
  ee =           "http://doi.acm.org/10.1145/1670412.1670416",
  publisher =    "ACM",
}