@phdthesis{abc, author = {Adrian Sch{\"u}pbach}, school = {20930}, title = {Tackling OS Complexity with declarative techniques}, year = {2012} }