Program Construction: International Summer School (Lecture Notes in Computer Science (69), Band 69) 50,28 EUR*