Operational Semantics of Reflex

@inproceedings{ErshovOperationalSO,
  title={Operational Semantics of Reflex},
  author={Andrei P. Ershov}
}