Pages that link to Interval Algerbras: A Formalized Treatment