Process Algebra with Recursive Operations
a structural approach to operational semantics .