A Corrected Failure Divergence Model for CSP in Isabelle/HOL. - Haykal Tej; Burkhart Wolff (FME, 1997)

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. - Christoph Lüth; Haykal Tej; Kolyang 001; Bernd Krieg-Brückner (FASE, 1999)

HOL-CSP: mechanised formal devlopment mof concurrent processes. - Haykal Tej (Logos-Verlag, 2003)