A proof system for disjoint parallel quantum programs
scientific article; zbMATH DE number 7437217
scientific article