Computational recreations in mathematica. - Vardi, Ilan (Addison-Wesley Publishing Company, 1991)