Richard James Butterworth

• A formal framework for the specification of interactive systems