Marco Comini Giorgio Levi An Algebraic Theory of Observables. 172-186 1994 SLP db/conf/slp/slp94.html#CominiL94