Process algebra nonstandard timing by C.A. Middelburg