Compiling the graphical functional language PROGRAPH. - Philip T. Cox; I. J. Mulligan (SIGSMALL, 1985)