Ian Holyer Neil Davies Chris Dornan The Brisk Project: Concurrent and Distributed Functional Systems. 6 1995 conf/fp/1995 Functional Programming db/conf/fp/fp1995.html#HolyerDD95