Foundations of computer science - Aho, Alfred V. (New York Computer Science Press, 1995)
Keywords: Computer science. -- Computer program language -- Predicate logic -- Data modules -- Using logic -- Algebra -- FC