Observational structures and their logic, Theoret (1992)

by E Astesiano, A Giovini, G Reggio
Venue:Comput. Sci