TITLE     : Complete set of axioms for finite basic LOTOS behavioural equivalences
AUTHOR(S) : Boreale M., Inverardi P., Nesi M.
TYPE      : Other
YEAR      : 1991
CODE      : 448889

*** DO NOT EDIT THIS FILE ***