TY  - RPRT
TI  - Towards an ASM thesis for reflective sequential algorithms
AU  - Flavio Ferrarotti
AU  - Loredana Tec
AU  - Jose Maria Turull Torres
PY  - 2017
DO  - 10.1007/978-3-319-33600-8_16
UR  - https://arxiv.org/abs/1705.10708
ID  - 1705.10708
ER  -