Luca Bernardinello Carlo Ferigato Lucia Pomello An algebraic model of observable properties in distributed systems. 637-668 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#BernardinelloFP03