Parallel functional programming for message-passing multiprocessors. - Gerald Ostheimer (1993)

Process Semantics of Graph Reduction. - Simon Brock; Gerald Ostheimer (CONCUR, 1995)

A process semantics for functional programming. - Simon Brock; Gerald Ostheimer (SEGRAGRA, 1995)