Three Implementation Models for Scheme by R. Kent Dybvig http://www.cs.indiana.edu/~dyb/papers/3imp.pdf