ket-as4qc

Advanced Algebraic Specification for Quantum Computation