Christian Mossin Higher-Order Value Flow Graphs. 214-234 1998 5 Nord. J. Comput. 3 db/journals/njc/njc5.html#Mossin98