Winkel, Sebastian Programming Logics, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
http://scidok.sulb.uni-saarland.de/volltexte/2005/468/ (全文テキスト(全般))
http://scidok.sulb.uni-saarland.de/doku/urheberrecht.php?la=de (著作権譲渡合意書)
Winkel, S. (2004). Optimal Global Instruction Scheduling for the Itanium® Processor Architecture. PhD Thesis, Universität des Saarlandes, Saarbrücken.