See [http://research.microsoft.com/Users/luca/Papers/Polyphony%20ECOOP.A4.pdf].