@mastersthesis{Mueller95, AUTHOR = { M{\"u}ller, P. }, TITLE = { Specification and Implementation of an Annotation Language for an Object-Oriented Programming Language}, SCHOOL = { Technische Universit\"at M\"unchen}, YEAR = {1995}, NOTE = { (In German) } }