[Richard Stallman <rms@santafe.edu>] Dynamic linking and the GNU GPL