Resource Aware Programming. - Moreau, Luc; Queinnec, Christian (ACM Transactions on Programming Languages & Systems, 2005)