On: A brief introduction to interval arithmetic

[kragen]

is this the one mentioned in fredrik's post? he links https://www.lri.fr/~melquion/doc/16-itp-article.pdf which is presumably a different paper by the same author

[infruset → kragen]

I think they are the conference and journal versions of the same paper. Hadn't seen it was mentioned in the article, I should have read it more thoroughly!