Preorder Relations
A slightly older version of the book chapter (by Stefan D. Bruda, in Model-Based Testing of Reactive Systems: Advanced Lectures, Springer Lecture Notes in Computer Science 3472, 2005) is available; note in particular that page numbers do not match. Includes references and index.
