שליחה במסרון: The logic of computer arithmetic / Ivan Flores.