Bourdevand Järvi. Efficient Run-time Dispatching in Generic Programming with Minimal Code Bloat. Elsevier BV, 2011, doi:10.1016/j.scico.2008.06.003.