Boris Feigin, Alan Mycroft: Jones optimality and hardware virtualization: a report on work in progress. PEPM 2008: 169-175