Combining communication and application in a lambda-like calculus - Glas, Rainer (1997)