@PhDThesis{Gre19,
    Author       = "Grewe, S.",
    Year         = "2019",
    Title        = "{Automating Type Soundness Proofs for Domain-Specific Languages}",
    School       = "Darmstadt University of Technology",
    Address      = "Darmstadt, Germany",
    Comment      = "TPTPRef"
}