Glauert, J. R. W., Leth, L. and Thomson, B. (1995) A New Process Model for Functions. In: Term Graph Rewriting: Theory and Practice. Wiley. ISBN 978-0471935674
Glauert, JRW and Khasidashvili, Z (1995) On Relative Normalisation in Orthogonal Expression Reduction Systems. In: International Workshop on Conditional and Typed Rewriting Systems, 1995-07-13 - 1995-07-15.