David-Sarah Hopwood wrote: > [...] Fail-Safe C > <https://staff.aist.go.jp/y.oiwa/FailSafeC/index-en.html>), The PhD thesis describing this work is linked only rather indirectly from that page; it's at <https://staff.aist.go.jp/y.oiwa/publications/2005-PhDthesis.pdf>. -- David-Sarah Hopwood