Hendrik Pieter Barendregt Marko C. J. D. van Eekelen Marinus J. Plasmeijer John R. W. Glauert Richard Kennaway M. Ronan Sleep LEAN: an intermediate language based on graph rewriting. 163-177 1989 9 Parallel Computing 2 db/journals/pc/pc9.html#BarendregtEPGKS89