Abrial – B-Book Assigning Programs to Meanings – paperback or softbac – G555z This is a classic student textbook used in many introductory classes.
