@conference{aufsatz23679,
    affiliation = {Grundlagen der Programmierung},
    title = {Proving Correctness via Free Theorems: The Case of the destroy/build-Rule},
    journal = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation - PEPM'08},
    keywords = {-},
    pages = {13--20},
    publisher = {ACM Press},
    location = {San Francisco, California},
    year = {2008},
    peerreview = {Nein},
    openaccess = {Ja},
    doi = {doi:10.1145/1328408.1328412},
    author = {Voigtländer, Janis}
}