Dingand Gu. Precise Bounded-concurrent Zero-knowledge Proofs for NP. Springer Nature, 2010, doi:10.1007/s11432-010-4056-z.