Semantic Domain: Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html