diff --git a/Control/Monad/ConstrainedNormal.hs b/Control/Monad/ConstrainedNormal.hs
--- a/Control/Monad/ConstrainedNormal.hs
+++ b/Control/Monad/ConstrainedNormal.hs
@@ -11,7 +11,9 @@
 --
 -- This module provides constrained normalised type classes.  The ideas behind this module are documented in the following paper:
 --
---   /The Constrained-Monad Problem/.  Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill.  2013. <http://www.ittc.ku.edu/~neil/papers_and_talks/constrained-monad-problem.pdf>
+--   /The Constrained-Monad Problem/.  Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill.
+--                                     International Conference on Functional Programming, pages 287-298. ACM, 2013.
+--                                     <http://dx.doi.org/10.1145/2500365.2500602>
 
 module Control.Monad.ConstrainedNormal
   ( -- * Constrained Normalised Functors
diff --git a/constrained-normal.cabal b/constrained-normal.cabal
--- a/constrained-normal.cabal
+++ b/constrained-normal.cabal
@@ -1,5 +1,5 @@
 Name:                constrained-normal
-Version:             1.0.0
+Version:             1.0.1
 Synopsis:            Normalised Deep Embeddings for Constrained Type-Class Instances
 Description:	     The package provides normal forms for monads and related structures, similarly to the Operational package.
                      The difference is that we parameterise the normal forms on a constraint, and apply that constraint to all
@@ -9,8 +9,9 @@
                      .
                      This is documented in the following paper:
                      .
-                     The Constrained-Monad Problem.  Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill.  2013.
-                     <http://www.ittc.ku.edu/~neil/papers_and_talks/constrained-monad-problem.pdf>
+                     The Constrained-Monad Problem.  Neil Sculthorpe and Jan Bracker and George Giorgidze and Andy Gill.
+                     International Conference on Functional Programming, pages 287-298. ACM, 2013.
+                     <http://dx.doi.org/10.1145/2500365.2500602>
                      .
                      The functionality exposed by this library is also used internally by the Set-Monad and RMonad packages.
 
@@ -20,7 +21,7 @@
 Author:              Neil Sculthorpe
 Maintainer:          Neil Sculthorpe <neil@ittc.ku.edu>
 Copyright:           (c) 2013 The University of Kansas
-Homepage:            http://www.ittc.ku.edu/csdl/fpg/theory/constrained-monad-problem.html
+Homepage:            http://dx.doi.org/10.1145/2500365.2500602
 Stability:	     alpha
 build-type: 	     Simple
 Cabal-Version:       >= 1.6
@@ -30,8 +31,3 @@
   Ghc-Options: -Wall
   Exposed-modules:
        Control.Monad.ConstrainedNormal
-
-
-
-
-