diff --git a/CSPM-FiringRules.cabal b/CSPM-FiringRules.cabal
--- a/CSPM-FiringRules.cabal
+++ b/CSPM-FiringRules.cabal
@@ -1,5 +1,5 @@
 name:                CSPM-FiringRules
-version:             0.4.3.0
+version:             0.4.4.0
 synopsis:            Firing rules semantic of CSPM
 description:
   This package contains functions for computing the transitions of a CSP process
@@ -16,12 +16,17 @@
 build-type:          Simple
 license:             BSD3
 license-file:        LICENSE
-author:              2010 - 2014 Marc Fontaine
+author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
 maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 stability:           experimental
-tested-With:         GHC == 7.83
+tested-With:         GHC == 8.2.1
 
-cabal-Version:       >= 1.20
+cabal-Version:       >= 1.24
+Extra-Source-Files:  README.md
+                    
+Source-Repository head
+  type:     git
+  location: git://github.com/MarcFontaine/cspm
 
 flag QuickCheck
   description: enable QuickCheck tests
@@ -30,11 +35,11 @@
 library
   build-Depends:
      CSPM-CoreLanguage >= 0.3 && < 0.4
-    ,tree-monad >=0.3 && < 0.4
+    ,tree-monad >= 0.3 && < 0.4
     ,parallel-tree-search >=0.4 && < 0.5
     ,base >= 4.0 && < 5.0
     ,containers >= 0.5 && < 0.6
-    ,mtl >= 2.1 && < 2.2
+    ,mtl >= 2.1 && < 2.3
   
   Default-Language: Haskell2010
   ghc-options: -funbox-strict-fields -O2 -Wall
@@ -56,8 +61,8 @@
 
   if flag(QuickCheck)
     build-depends:
-      QuickCheck >= 2.6 && < 2.7
-      ,random >= 1.0 && < 1.1
+      QuickCheck >= 2.6 && < 2.11
+      ,random    >= 1.0 && < 1.2
     exposed-modules:
       CSPM.FiringRules.Test.Test
     other-modules:
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) Marc Fontaine 2007-2011
+Copyright (c) Marc Fontaine 2007-2017
 
 All rights reserved.
 
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,13 @@
+# CSPM-FiringRules
+
+This package contains functions for computing the transitions of a CSP process
+based on the standard CSP firing rule semantic
+(see The Theory and Practice of Concurrency A.W. Roscoe 1999.)
+It also contains a rudimentary tracer for executing transitions,
+some QuickCheck tests, and a data type for proof trees.
+To use this package one has to provide instances for the classes and type families,
+defined in the CSPM-CoreLanguage package.
+The package contains two mock-implementations that provide these instances.
+The CSPM-Interpreter package contains an other implementation.
+
+## [Haddock documentation](http://hackage.haskell.org/package/CSPM-FiringRules)