TITLE     : Equational semantics for basic LOTOS and an example of its use in a transformational proof style
AUTHOR(S) : Massink M, Rooijakkers L
TYPE      : Conference article
YEAR      : 1992
CODE      : 227135

*** DO NOT EDIT THIS FILE ***