[Houshalter]

http://lesswrong.com/lw/va/measuring_optimization_power/

[eli_gottlieb]

Bugger. That bastard has 10 years' head start on me; simply not fair.

OTOH, looks like not very much was actually formalized.