Order and metric in the stream semantics of element concurrency - Bakker, Jacobus W. de 1939-2012; Meyer, John-Jules Ch. 1954- (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1986)