Abstractions for robust higher-order message-based communication - Lukasz S. Ziarek (2011)