Implementations of process synchronisation, and their analysis. - Kevin Nicholas Peter Mitchell (1985)