TY  - RPRT
TI  - Eternity variables to prove simulation of specifications
AU  - Wim H. Hesselink
PY  - 2003
UR  - https://arxiv.org/abs/cs/0207095
ID  - cs/0207095
ER  -