Specification of GNU public license