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