TITLE : A conceptual framework for state-based and event-based formal behavioural specification languages AUTHOR(S) : Bolognesi T TYPE : Conference article YEAR : 2004 CODE : 91030 *** DO NOT EDIT THIS FILE ***