Support for teaching formal methods. - Vicki L. Almstrum; C. Neville Dean; Don Goelman; Thomas B. Hilburn; Jan Smith (ACM SIGCSE Bull., 2001)

Diskrete Mathematik im Klartext. - C. Neville Dean (Pearson Studium, 2003)