@incollection{HjortBlindellEtAl:2016:FDL,
    author = {Hjort Blindell, Gabriel and Menne, Christian and Sander, Ingo},
    booktitle = {Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2014},
    editor = {Oppenheimer, Frank and Medina Pasaje, Julio Luis},
    isbn = {978-3-319-24455-6},
    pages = {115--134},
    publisher = {Springer},
    series = {Lecture Notes in Electrical Engineering},
    title = {Synthesizing Code for GPGPUs from Abstract Formal Models},
    volume = {361},
    year = {2016},
}