Floating-Point Determinism (2013) · HackerTrans