"The world's shortest correct exact real arithmetic program?"

David R. Lester (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics