Source: http://janvitek.github.io/pubs/ecoop15a.pdf