TY  - RPRT
TI  - Informal Control code logic
AU  - Jan A. Bergstra
PY  - 2010
UR  - https://arxiv.org/abs/1009.2902
ID  - 1009.2902
ER  -