Paul Hudak Lauren Smith Para-Functional Programming: A Paradigm for Programming Multiprocessor Systems. 243-254 1986 POPL db/conf/popl/popl86.html#HudakS86