https://courses.grainger.illinois.edu/cs524/fa2020/meseguer-rosu-ic13.pdf