TITLE     : Extensional equivalences for transition systems
AUTHOR(S) : De Nicola R
TYPE      : Journal article
YEAR      : 1987
CODE      : 419701

*** DO NOT EDIT THIS FILE ***