TY  - RPRT
TI  - Instruction sequence notations with probabilistic instructions
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2014
UR  - https://arxiv.org/abs/0906.3083
ID  - 0906.3083
ER  -