Annabelle McIver, Larissa Meinicke, Carroll Morgan. Hidden-Markov program algebra with iteration. Mathematical Structures in Computer Science, 25(2):320-360, 2015. [doi]
@article{McIverMM15, title = {Hidden-Markov program algebra with iteration}, author = {Annabelle McIver and Larissa Meinicke and Carroll Morgan}, year = {2015}, doi = {10.1017/S0960129513000625}, url = {http://dx.doi.org/10.1017/S0960129513000625}, researchr = {https://researchr.org/publication/McIverMM15}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {25}, number = {2}, pages = {320-360}, }