Pirzadeh, Dubé, 2008. Encoding the Program Correctness Proofs as Programs in PCC Technology, in: . IEEE.. https://doi.org/10.1109/pst.2008.20