1. National Institute of Standards and Technology: Secure Hash Standard. Federal Information Processing Standards Publication 180–2 (2002)
2. Toma, D., Borrione, D.: SHA Formalization. In: Proc. ACL2 Workshop, Boulder, USA, July 13-14 (2003)
3. IEEE CS: 1076.6-1999 IEEE Standard for VHDL Register Transfer Level (RTL) Synthesis, New York (March 2000)
4. Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided reasoning: ACL2 An approach (vol. 1) and ACL2 Case Studies (vol. 2). Kluwer Academic Press, Dordrecht (2000)
5. Lecture Notes in Computer Science;W. Roesner,2003