[References to the papers and bff.cgi
Joachim Breitner <mail@joachim-breitner.de>**20100910152013
 Ignore-this: b98fdf6e0d5ba511f65aebaf8f2b330b
] hunk ./b18n-combined-cgi.hs 56
-        	p << ("This tool allows you to experiment with the "+++
-                      "method described in the paper “" +++
+        	p << "This tool allows you to experiment with the bidirectionalization methods described in the following papers: " +++
+                ulist << (
+                    li << (
+                      "“" +++
hunk ./b18n-combined-cgi.hs 62
-		      "” (ICFP'10) by " +++
+		      "” (ICFP'07) by " +++
hunk ./b18n-combined-cgi.hs 64
-                        << "Kazutaka Matsuda" +++
-	              "."
+                        << "Kazutaka Matsuda" +++ ", " +++
+                      "Zhenjiang Hu, " +++
+                      "Keisuke Nakano, " +++
+                      "Makoto Hamana and " +++
+                      "Gunma University"
+                    ) +++
+                    li << (
+                      "“" +++
+		      hotlink "http://doi.acm.org/10.1145/1480881.1480904"
+                        << "Bidirectionalization for free! (Pearl)" +++
+		      "” (POPL'09) by " +++
+		      hotlink "http://www.iai.uni-bonn.de/~jv/"
+                        << "Janis Voigtländer"
+                    ) +++
+                    li << (
+                      "“" +++
+		      hotlink ""
+                        << "TBT" +++
+		      "” (ICFP'10)"
+                    )
hunk ./b18n-combined-cgi.hs 85
-			
hunk ./b18n-combined-cgi.hs 169
-		p << (
+	    p << (
hunk ./b18n-combined-cgi.hs 172
-		".") +++
-		p << ("© 2010 Joachim Breitner <" +++
-                      hotlink "mailto:mail@joachim-breitner.de" << "mail@joachim-breitner.de" +++
-		      ">")
-		)	
+		". " +++
+                "The code for the web interface is based on " +++
+                hotlink "http://www-ps.iai.uni-bonn.de/cgi-bin/bff.cgi" << 
+                    "the demo interface from “Bidirectionalization for free!”"
+            ) +++
+	    p << ("© 2010 Joachim Breitner <" +++
+                hotlink "mailto:mail@joachim-breitner.de" << "mail@joachim-breitner.de" +++
+	      ">")
+	    )