TITLE     : On a state-based constraint-oriented notation for specifying reactive systems
AUTHOR(S) : Bolognesi T, Ciaccio G
TYPE      : Other
YEAR      : 1995
CODE      : 411608

*** DO NOT EDIT THIS FILE ***