JNC's stuff. Contact jnc@lcs.mit.edu. if you have questions.