Use of Formal Methods by a Silicon Manufacturer (1988) [pdf]

Thanks for posting this! I have very fond memories working with/under various ex-INMOS folks including the author while at XMOS. I also read Gries at University :-)