Copyright belongs to the authors. Unauthorized copying or distribution may be punished under copyright law.