TY  - RPRT
TI  - Hidden-Markov Program Algebra with iteration
AU  - Annabelle McIver
AU  - Larissa Meinicke
AU  - Carroll Morgan
PY  - 2011
DO  - 10.1017/s0960129513000625
UR  - https://arxiv.org/abs/1102.0333
ID  - 1102.0333
ER  -