Paper  bibtex   

@inproceedings{ DBLP:conf/icse/MilicevicNKJ15,
  author = {Aleksandar Milicevic and
               Joseph P. Near and
               Eunsuk Kang and
               Daniel Jackson},
  title = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver},
  note = {ACM SIGSOFT Distinguished Paper Award},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  year = {2015},
  url = {http://alloy.mit.edu/alloy/hola/downloads/icse15-alloystar.pdf}
}