--- a/src/Doc/manual.bib Wed Apr 02 13:53:32 2014 +0200
+++ b/src/Doc/manual.bib Tue Apr 01 14:24:28 2014 +0200
@@ -2191,3 +2191,13 @@
title = {{ML} Modules and {Haskell} Type Classes: A Constructive Comparison},
author = {Stefan Wehr et. al.}
}
+
+@inproceedings{runciman-naylor-lindblad,
+ author = {Runciman, Colin and Naylor, Matthew and Lindblad, Fredrik},
+ title = {Smallcheck and {Lazy Smallcheck}: Automatic Exhaustive Testing for Small Values},
+ booktitle = {Proceedings of the First ACM SIGPLAN Symposium on Haskell (Haskell 2008)},
+ year = {2008},
+ pages = {37--48},
+ publisher = {ACM},
+}
+