Computer Logic (1960)(Prentice-Hall Publications)