Logic for quantum circuits by R. Brak