The Specification of Computer Programs (International Computer Science Series) | MenrvaBooks