@mastersthesis{DeHaan12,
 author = {Ronald de Haan},
 school = {Technische Universität Wien},
 title = {Description Logic Based Reasoning on Programming Languages},
 url = {http://ronalddehaan.eu/files/MScThesis_deHaan_2012.pdf},
 year = {2012}
}