Permission to use, copy, modify, and distribute these documents for research or educational purposes and without fee is hereby granted, provided that the above copyright notice and direct reference to the original source appear on all copies of these derivative works.