Logical basis for computer programming - Manna Zohar; Waldinger Richard (Reading Addison-Wesley Pub, 1985)
Keywords: Computer program language; Computer science