TY  - RPRT
TI  - Monoids with tests and the algebra of possibly non-halting programs
AU  - Marcel Jackson
AU  - Tim Stokes
PY  - 2014
UR  - https://arxiv.org/abs/1408.4498
ID  - 1408.4498
ER  -