public interface Pager {

    /** Register a page reference with the pager.
     * @param page The page number of the reference.
     */
    void reference(String page);

    /** Return the miss ratio of the references seen so far.
     * Requires that the reference count is not zero.
     */
    double getMissRatio(); 
}