URI: 

  TEXT The article
  TEXT The package specification
  TEXT The package body