http://www.cse.chalmers.se/~nad/publications/danielsson-norell-mixfix.pdf - View it on GitHub