Lectures on the logic of computer programming - Manna Zohar (Philadelphia Society for Industrial & Applied Mathematics, 1980)
Keywords: Computer programming; Computer science; Programming language