Michael J. Burrell, James H. Andrews, Mark Daley: A Useful Bounded Resource Functional Language. SOFSEM 2008: 198-210