[librasteve]

i see Tony Hoare is referenced, but no mention of Bill Roscoe and his bottom

https://www.cs.ox.ac.uk/people/bill.roscoe/publications/1.pd...