HOL-CSP mechanised formal development of concurrent processes - Tej, Haykal (Logos-Verl., 2003)