BibTeX
@INPROCEEDINGS{
         Naumann2008AFf,
       author = "Uwe Naumann and Laurent Hasco{\"e}t and Chris Hill and Paul Hovland and Jan
         Riehme and Jean Utke",
       title = "A Framework for Proving Correctness of Adjoint Message-Passing Programs",
       booktitle = "Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent
         Advances in Parallel Virtual Machine and Message Passing Interface",
       year = "2008",
       isbn = "978-3-540-87474-4",
       pages = "316--321",
       location = "Dublin, Ireland",
       doi = "http://dx.doi.org/10.1007/978-3-540-87475-1_44",
       publisher = "Springer-Verlag",
       address = "Berlin, Heidelberg",
       ad_theotech = "Adjoint, Parallelism",
       ad_tools = "NAGWare Fortran 95, OpenAD"
}