Title: A formal framework for the specification of interactive systems
First published: 1997