@doctoralThesis{Preiß_2005,
title={Complexity and Correctness of a Super-Pipelined Processor},
author={Preiß, Jochen},
doi={http://dx.doi.org/10.22028/D291-25841},
year={2005}
}