Alexander Stepanov

Complexity assertions have to be part of the interface