Computer arithmetic and validity: Theory, implementation, and applications 2013 · ENGLISH · PDF View details →