Springer-Verlag London. 2005: 286-287. ISBN 1-85233-921-7 (英语). WellOrderingPrinciple and the Principle of Mathematical Induction (PDF). [2019-02-03]. (原始内容 (PDF)存档于2017-11-19)
Thus the pattern (x . r) matches (A B C), with x = A and r = (B C). the ordering of the "productions" is significant; the first one which matches is to