@article{aufsatz6247,
    affiliation = {Grundlagen der Programmierung},
    title = {The impact of seq on Free Theorems-Based Program Transformations},
    journal = {Fundamenta Informaticae},
    year = {2005},
    peerreview = {Nein},
    edition = {Neuerscheinung},
    author = {Johann, P. and Voigtländer, J.}
}