Mathematical foundations of programming - Beckman, Frank S (Reading, MA : Addison-Wesley, 1980)
Includes bibliographical references and index
1
Keywords: Formal languages; Logic, Symbolic and mathematical; Machine theory