Kahle, 2001. Proof-theoretic notions for software maintenance 40.. https://doi.org/10.1016/s1571-0661(05)80048-9