Compositional model for the formal specification of user interface software /
Markopoulos, Panagiotis.
Queen Mary and Westfield College (University of London).Department of Computer Science.
London : Queen Mary and Westfield College, Dept. of Computer Science,
1997.
Cover title.