Dershowitz, Nachum. Manna, Zohar. Evolution of programs a system for automatic program modification /by Nachum Dershowitz and Zohar Manna. - Stanford Stanford Univ. 1976 - 43p - Stanford Artificial Intelligence Laboratory -CS-76-586, AIM-294 . Dewey Class. No.: 001.6425 / N767