1. Blumenræhr, C., Eisenbiegler, D.: Performing High-Level Synthesis via Program Transformations within a Theorem Prover. In: Digital System Design Workshop at the 24th EUROMICRO 1998 Conference (1998)
2. Lecture Notes in Computer Science;C. Blumenræhr,1999
3. Eisenbiegler, D.: Ein Kalkül für die Formale Schaltungssynthese, Karlsruhe University Dissertation. Logos Verlag, Berlin, p. 150 (1999) (in German)
4. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge (1993)
5. Hennessy, J.L., Patterson, D.A.: Computer Architecture — a Quantitative Approach, 2nd edn (1996)