  We show that, on the abstraction level of quantum circuit diagrams, quantum
circuit algorithms belong to the species of interactive sequential algorithms
that we studied in earlier work. This observation leads to a natural
specification language for quantum circuit algorithms.
