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.