hets.bib revision d3f2015ae170a15e5b57d4880ded53073d725ac0
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski author = {L. Schr\"oder and T. Mossakowski and C. Maeder},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{\HasCASL} -- {I}ntegrated functional specification and programming. {L}anguage Summary},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = {Available at \verb?http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/? \verb?CoFI/HasCASL?}},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {2003},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski@Book{PeytonJones03,
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski editor = {S. Peyton-Jones},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski title = {{Haskell} 98 Language and Libraries ---
d3f2015ae170a15e5b57d4880ded53073d725ac0Till MossakowskiThe Revised Report},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski publisher = {Cambridge},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski year = {2003},
d3f2015ae170a15e5b57d4880ded53073d725ac0Till Mossakowski note = {also: J.\ Funct.\ Programming {{\bf 13}} (2003)}