Browsing: Formalization