Redirecting to the Quantum PL & Verification Bibliography