De Nicola, Rocco and Ferrari, GianLuigi  Observational Logics and Concurrency Models.   In:  Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990).   Lecture Notes in Computer Science, 472 .  Springer, pp. 301-315.  ISBN 3-540-53487-3      (1990)