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