Add reference to binary translation. Slightly better performance figures.