『Software_Abstractions,_revised_edition』