Kevin Hammond The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. 122-139 2000 conf/ifl/2000 IFL http://link.springer.de/link/service/series/0558/bibs/2011/20110122.htm db/conf/ifl/ifl2000.html#Hammond00