Richard Kelsey wrote a very nice Phd thesis and, with Jonathan Rees, authored scheme48. He also helped write Kali Scheme (See kali-scheme-revival ) .