SMS versenden: Concurrent programming : illustrated with examples in Portal, Modula-2, and Ada Andre Schiper ; translated by Jack Howlett / Andre Schiper.