TY  - RPRT
TI  - Process algebra with conditionals in the presence of epsilon
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2012
UR  - https://arxiv.org/abs/1204.3249
ID  - 1204.3249
ER  -