Foundations Of Computing - Thierry Scheurer (Addison-Wesley New York, 1994)