Specifying Interactive Systems in Object-Z and CSP.

Ian MacColl, David A. Carrington

Browse the full IFM paper archive.