Ian Mackie, Maribel Fern{á}ndez, François-Régis Sinot. Lambda-Calculus with Director Strings.
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2005, Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6), pp.393--437.
〈inria-00133315〉