A formal framework for the specification of interactive systems
By: by Richard Butterworth.
Published: 1997
Language: eng
Notes: Thesis (Ph.D.) - Loughborough University, 1997.