TY  - RPRT
TI  - A progression ring for interfaces of instruction sequences, threads, and services
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2009
UR  - https://arxiv.org/abs/0909.2839
ID  - 0909.2839
ER  -