Observational structures and their logic (1992)

by E Astesiano, A Giovini, G Reggio
Venue:Theoretical Computer Science