[rekado]

I think that the paper on G-expressions is very well written and thus a great job at motivating the implementation. You can find the paper here: https://inria.hal.science/hal-01580582/en