Model-Based Design of User Interfaces Using Object-Z.

Andrew Hussey David A. Carrington Model-Based Design of User Interfaces Using Object-Z. 43-56 1999 conf/cadui/1999 CADUI db/conf/cadui/cadui1999.html#HusseyC99