Added a reference to my FSEN paper at the end of this section.
Unified spelling of call/cc.