Sturm. Thirty Years of Virtual Substitution. ACM Press, 2018, doi:10.1145/3208976.3209030.