Egidio Astesiano Alessandro Giovini Gianna Reggio Observational Structures and Their Logics. 249-283 1992 96 Theor. Comput. Sci. 1 db/journals/tcs/tcs96.html#AstesianoGR92