--- res/PP-compiler.tex	2009/06/26 14:26:38	1.6
+++ res/PP-compiler.tex	2009/06/28 15:01:57	1.7
@@ -70,7 +70,19 @@ in the Handbook of Signal Processing sys
 instruction set simulator with modelling of energy consumtion is Wattch
 \cite{BrooksTiwariMartonosi00}.
 
-Compiler Verification \cite{Hoare,1328444,1314860}
+Compiler Verification
+
+ \cite{Hoare03}
+ \cite{TristanLeroy09}
+ \cite{TristanLeroy08}
+ \cite{Kundu+09}
+ \cite{Necula00} 
+ \cite{ZaksPnueli08}
+ \cite{Pnueli98a}
+ \cite{Pnueli98b}
+ \cite{GlesnerGoosZimmeermann04}
+ \cite{GoosZimmermann00}
+ \cite{BlechPoetzsch07}
 
 WCET \cite{}