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