4 ms·

Hoare's papers were some of my favorite. Rest in peace