Mathematical foundations of programming. - Beckman, Frank S. (Reading, MA Addison-Wesley, 1980)
Keywords: Formal Languages; Logic, Symbolic and mathematical 0 -- Machine theory