@mastersthesis{Le02,
AUTHOR = {Leinenbach, Dirk},
TITLE = {Implementierung eines maschinell verifizierten Prozessors},
YEAR = {2002},
SCHOOL = {Universitšt des Saarlandes},
}