His dissertation about Ruby: https://chrisseaton.com/phd/specialising-ruby.pdf