@phdthesis{Pre05,
AUTHOR = {Preiß, Jochen},
TITLE = {Complexity and Correctness of a Super-Pipelined Processor},
YEAR = {2005},
SCHOOL = {Saarland University, Saarbrücken},
}