TITLE     : Testing equivalence in a Stream-based model
AUTHOR(S) : Latella D, Massink M, Pedreschi D
TYPE      : Other
YEAR      : 1993
CODE      : 413452

*** DO NOT EDIT THIS FILE ***