B. Ömer: "Structured Quantum Programming"; Supervisor, Reviewer: K. Svozil, U. Egly; Institut für Theoretische Physik, 2003.