1. Ferrie, P., Ször, P.: Zmist Opportunities. Virus Bulletin (2001)
2. Bochs: The Open Source IA-32 Emulation Project, found at: http://bochs.sourceforge.net/
3. Richter, J.: Programming Applications for Microsoft Windows. Microsoft Press, Redmond (1999)
4. Solomon, D.A., Russinovich, M.E.: Inside Microsof Windows 2000, 3rd edn. Microsoft Press, Redmond (2000)
5. Futatsugi, K., Diaconescu, R.: CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. World Scientific, AMAST Series in Computing, vol. 6 (1998)