TITLE     : Completeness of the equational semantics for basic LOTOS
AUTHOR(S) : Massink M, Rooijakkers L
TYPE      : Conference article
YEAR      : 1993
CODE      : 190563

*** DO NOT EDIT THIS FILE ***