To obtain copyright permission, contact Michael Jung at the MIT Licensing
Office. His number is (617)253-1606. His email address is mrjung@mit.edu