Here are notes re skimming/reading my dissertation quickly, involving
only approximately 12 pages.  (Note that there is an index, so if you
ever really want to check some terminology or symbol or function-name
or whatever, you can do so.)

--- I guess read the Abstract.

--- Flip through Chapter 0, looking mainly at the displays, to ensure that
    you `get' the temporal operators here.

--- Read Section I.1.2, "An Introductory Example", on pages 24--28 (of
    which over half actually comprises diagrams).

--- Read the top half of page 29, <Section I.1.3 "The Algorithm">'s 
    notation.

--- Read the beginning of the proof of Success on pages 40--43 (half of
    which actually comprises diagrams).

--- Read the functions "selectively_add_options*()" and "select_option()"
    on the top half of page 47.  (Compare to function "add_options*()"
    on the bottom half of page 30 and function "options()" which is
    described near the top of page 31.)

--- Read Lemma 1.2 on pages 54--56 --- skipping the Proof of Claim 1.2.1
    on pages 54--55.

That's all.  (In particular, skip Part II.)