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