Chapter 4: O'Camelot: Adding Objects to a Resource-Aware Functional Language. - Wolverson, Nicholas; MacKenzie, Kenneth (Trends in Functional Programming Volume 4, 2005)