@article{aufsatz10232,
    affiliation = {Grundlagen der Programmierung},
    title = {The Impact of seq on Free Theorems-Based Program Transformations},
    journal = {Fundamenta Informaticae},
    keywords = {-},
    pages = {63--102},
    year = {2006},
    peerreview = {Nein},
    openaccess = {Ja},
    volume = {69 (1-2)},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/reports/seqFinal.pdf},
    edition = {keiner},
    author = {Johann, P. and Voigtländer, J.}
}