Partial Pushout Semantics of Generics in DOL

@article{pub9684,
    author = {

Mossakowski, Till
 and 

Krieg-Brückner, Bernd
},
    title = {Partial Pushout Semantics of Generics in DOL},
    year = {2018},
    volume = {741},
    pages = {58--70},
    journal = {Theoretical Computer Science (TCS)},
    publisher = {Elsevier}
}