--- a/doc-src/Intro/intro.bbl Tue Aug 08 09:27:02 1995 +0200
+++ b/doc-src/Intro/intro.bbl Thu Aug 10 13:14:34 1995 +0200
@@ -42,7 +42,7 @@
\bibitem{nipkow-prehofer}
Tobias Nipkow and Christian Prehofer.
\newblock Type reconstruction for type classes.
-\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
+\newblock {\em Journal of Functional Programming}, 5(2):201--224, 1995.
\bibitem{nordstrom90}
Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.
--- a/doc-src/Ref/ref.bbl Tue Aug 08 09:27:02 1995 +0200
+++ b/doc-src/Ref/ref.bbl Thu Aug 10 13:14:34 1995 +0200
@@ -37,7 +37,7 @@
\bibitem{nipkow-prehofer}
Tobias Nipkow and Christian Prehofer.
\newblock Type reconstruction for type classes.
-\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
+\newblock {\em Journal of Functional Programming}, 5(2):201--224, 1995.
\bibitem{nordstrom90}
Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.