TITLE     : On state-oriented vs. event-oriented thinking in formal behavioural specifications
AUTHOR(S) : Bolognesi T
TYPE      : Other
YEAR      : 2003
CODE      : 160100

*** DO NOT EDIT THIS FILE ***