Fine−Grain Concurrency - Hoare, T (Advanced Lectures on Software Engineering‚ LASER Summer School 2007/2008, 2008)