D. Harel, Fundamental Topics in Computer Science, (in Hebrew), IDF Publishers, Israel, 1985. 2nd edn., 1986; 3rd edn., 1990; 4th edn., 1993.Russian trans., 1994.
