@article{aufsatz17054,
    affiliation = {Grundlagen der Programmierung},
    title = {Selective strictness and parametricity in structural operational semantics, inequationally.},
    journal = {Theoretical Computer Science},
    keywords = {-},
    pages = {290--318},
    year = {2007},
    peerreview = {Ja},
    openaccess = {Ja},
    volume = {388},
    number = {1–3},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/reports/TCS.pdf},
    edition = {keiner},
    author = {Voigtländer, Janis and Johann, P.}
}