The latest versions of some formal Scheme Documents can be found here: