C. Verhoef

1962

• Linear unary operators in process algebra