Rémyand Yakobowski. A Church-style Intermediate Language for MLF. Elsevier BV, 2012, doi:10.1016/j.tcs.2012.02.026.