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

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