Programming and reasoning about actors that share state - Caldwell, Sam (Journal of Functional Programming)