The definition of quasi order we have used follows that of
Donald F. Stanat and David F. McAllister, Discrete Mathematics in Computer Science, Prentice-Hall, 1977.
The other definition can be found in
Kenneth H. Rosen, Discrete Mathematicas and Its Applications, 4th ed.,
McGraw-Hill, 1999.