Concurrent zero-knowledge - Rosen, Alon. (Springer, 2006)