Order and metric in the stream semantics of element concurrency - Bakker, Jacobus W. de 1939-2012; Meyer, John-Jules Ch. 1954- (1986)