@article{aufsatz1089,
    affiliation = {Grundlagen der Programmierung},
    title = {Free Theorems in the Presence of seq},
    journal = {31st Symposium on Principles of Programming Languages - POPL'04, Venice, Italy, Proceedings},
    keywords = {-},
    pages = {99--110},
    publisher = {ACM Press},
    year = {2004},
    peerreview = {Ja},
    openaccess = {Ja},
    volume = {39},
    doi = {doi:10.1145/964001.964010},
    author = {Johann, P. and Voigtländer, J.},
    editor = {Neil D. Jones and Xavier Leroy, }
}