Basic Concepts of Linear Order: Combinatorics for Computer Science