https://siqisihibycofigan.museudelantoni.com/fourth-workshop-on-mathematical-foundationsof-programming-semanticsboulder-co-may-1988-book-7263gy.php