Introducing formal methods through role-playing. - Neville Dean; Michael G. Hinchey (SIGCSE, 1995)

Mental Models of Z: I - Sets and Logics. - Neville Dean (ZUM, 1995)