Good old 3imp might be interesting to you, http://www.cs.indiana.edu/~dyb/papers/3imp.pdf
Dybvig himself, you might recognize him as the author of the Scheme specification.
Dybvig himself, you might recognize him as the author of the Scheme specification.
Oddly following that link gives me a 404 ('The requested URL /~dyb/papers/3imp.pdf‎ was not found on this server.', seems there is a trailing character '%E2%80%8E').
I was able to find it on google and open it, yielding the link http://www.cs.indiana.edu/~dyb/papers/3imp.pdf