The Cathy May paper can be found at:

https://dl.acm.org/doi/pdf/10.1145/29650.29651

And it's quite interesting; the first time I was aware of work like this was six or seven years later, when ARDI's Mac emulator "Executor" was the new hotness.

Adam