Synchrony and asynchrony in process algebra. - Weijland, W. Peter (Centrum voor Wiskunde en Informatica, 1989)