TY - RPRT TI - The Formal Semantics of Rascal Light AU - Ahmad Salim Al-Sibahi PY - 2018 UR - https://arxiv.org/abs/1703.02312 ID - 1703.02312 ER -