@techreport{TR-IC-09-03,
  number = {IC-09-03},
  author = {Glauber M. Cabral and Arnaldo V. Moura},
  title = {Creating a {HasCASL} Library},
  month = {January},
  year = {2009}, 
  institution = {Institute of Computing, University of Campinas},
  note = {In English, 68 pages.
    \par\selectlanguage{english}\textbf{Abstract}
       The  effective use  of a  specification language  depends on the
       availability  of predefined  specifications.   Although the  CASL
       specification has  such a library, that  is not the  case of the
       HasCASL language, one of  the CASL’s extensions.  Here we start
       to specify such a library to the HasCASL language, based on the
       Prelude  library of  the Haskel  l programming  language.  When
       completed  this approach  would  create a  library that,  after
       refinements,  should  lead to  reusable  specifications for  real
       Haskel  l  programs.    This  technical  report  discusses  the
       specification and verification of a kernel library to the HasCASL
       language.
  }
}