Tommaso Toffoli introduced the reversible Toffoli gate, which, together with the NOT and XOR gates provides a universal set for classical computation. 1982 Paul Benioff proposes the first recognisable theoretical framework for a quantum computer[5] William Wootters and Wojciech Zurek,[6] and independently Dennis Dieks[7] prove the no-cloning theorem.