Writing Practical, Memory Management Code with a Strictly-Typed, Assembly Language (2006)