"Specifying Interactive Systems in Object-Z and CSP."

Ian MacColl, David A. Carrington (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics