@conference{aufsatz23601,
    affiliation = {Grundlagen der Programmierung},
    title = {Proving Correctness via Free Theorems: The Case of the destroy/build-Rule},
    journal = {PEPM'08, San Francisco, California, Proceedings, pages 13-20, ACM Press,},
    year = {2008},
    peerreview = {Ja},
    doi = {http://},
    author = {Voigtländer, Janis}
}