Linear unary operators in process algebra - Verhoef, Chris (Centrum voor Wiskunde en Informatica, 1992)