Cornell: http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops/01aloop1.html http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops... https://ww

Cornell: http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops/01aloop1.html http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops... https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/loop_invariants.pdf https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/l... CMU: https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/recitation02.html http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/re... (former CMU prof) https://www.youtube.com/watch?v=lNITrPhl2_A https://www.youtube.com/watch?v=lNITrPhl2_A