TY  - RPRT
TI  - Mechanistic Behavior of Single-Pass Instruction Sequences
AU  - Jan A. Bergstra
AU  - Mark B. van der Zwaag
PY  - 2008
UR  - https://arxiv.org/abs/0809.4635
ID  - 0809.4635
ER  -