Bell's inequality forC *-algebras

Bell's inequality dealing with local hidden variables is given two formulations in terms ofC^*-algebras. In particular, Bell's inequality holds for all states onAB wheneverA andB are unitalC^*-algebras at least one of which is Abelian, i.e., at least one corresponds to a classical physical system.