@incollection{ arby,
  year = {2014},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and Z},
  series = {Lecture Notes in Computer Science},
  title = {aRby---An Embedding of Alloy in Ruby},
  publisher = {Springer Berlin Heidelberg},
  author = {Milicevic, Aleksandar Erfrati, Ido and Jackson, Daniel},
  url_paper = {http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf}
}

{"_id":{"_str":"535fe435e292c72171000015"},"__v":0,"authorIDs":["5456dee58b01c8193000000f"],"author_short":["Milicevic, A.<nbsp>E.","Ido","Jackson, D."],"bibbaseid":"milicevic-ido-jackson-arbyanembeddingofalloyinruby-2014","bibdata":{"author":["Milicevic, Aleksandar Erfrati","Ido","Jackson, Daniel"],"author_short":["Milicevic, A.<nbsp>E.","Ido","Jackson, D."],"bibtex":"@incollection{ arby,\n year = {2014},\n booktitle = {Abstract State Machines, Alloy, B, VDM, and Z},\n series = {Lecture Notes in Computer Science},\n title = {aRby---An Embedding of Alloy in Ruby},\n publisher = {Springer Berlin Heidelberg},\n author = {Milicevic, Aleksandar Erfrati, Ido and Jackson, Daniel},\n url_paper = {http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf}\n}","bibtype":"incollection","booktitle":"Abstract State Machines, Alloy, B, VDM, and Z","id":"arby","key":"arby","publisher":"Springer Berlin Heidelberg","series":"Lecture Notes in Computer Science","title":"aRby---An Embedding of Alloy in Ruby","type":"incollection","url_paper":"http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf","year":"2014","bibbaseid":"milicevic-ido-jackson-arbyanembeddingofalloyinruby-2014","role":"author","urls":{" paper":"http://people.csail.mit.edu/aleks/website/papers/abz14-arby.pdf"},"downloads":39,"html":""},"bibtype":"incollection","biburl":"http://sdg.csail.mit.edu/sdgpub.bib","downloads":39,"keywords":[],"search_terms":["arby","embedding","alloy","ruby","milicevic","ido","jackson"],"title":"aRby---An Embedding of Alloy in Ruby","year":2014,"dataSources":["S9bD6CiQR3ArYkKtw"]}