Universality of some C*-algebra generated by a unitary and a self-adjoint idempotent Posted on 10 September, 2009