Observational Logic and Process Semantics (Abstract)
S. Abramsky
Book Title
Logic at Botik 89
Editor
A. Meyer and M. Taitslin
Publisher
Springer−Verlag
Year
1989
S. Abramsky