T. Streicher

• Correctness and Completeness (Progress in Theoretical Computer Science)