@unpublished{HasCASL/Summary,

author = {L. Schr\"oder and T. Mossakowski and C. Maeder},

title = {{\HasCASL} -- {I}ntegrated functional specification and programming. {L}anguage Summary},

note = {Available at \verb?http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/? \verb?CoFI/HasCASL?}},

year = {2003},

@Book{PeytonJones03,

editor = {S. Peyton-Jones},

title = {{Haskell} 98 Language and Libraries ---

The Revised Report},

publisher = {Cambridge},

year = {2003},

note = {also: J.\ Funct.\ Programming {{\bf 13}} (2003)}

}