1 \newcounter{refnumber}[section]
3 \renewcommand{\therefnumber}{\arabic{refnumber}}
5 \newcommand{\reference}[4]{ % authors, title, details, abstract
6 \refstepcounter{refnumber}
8 {\bf \therefnumber.} #1, {\em #2}, #3.
16 \newcommand{\shortreference}[3]{ % authors, title, details
18 $\bullet$ #1, {\em #2}, #3.
22 \newcommand{\GlasgowNinetyTwo}[1]
23 {Functional Programming, Glasgow 1992, Springer Verlag Workshops in Computing}
24 \newcommand{\GlasgowNinetyThree}[1]
25 {Glasgow Functional Programming Group Workshop, Ayr, July 1993}
26 \newcommand{\GlasgowNinetyOne}
27 {Functional Programming, Glasgow 1991, Springer Verlag Workshops in Computing}
29 % \newcommand{\Haskell}[1]{{\sc Haskell}}