Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 075c6d5445c3cb2d2f79265f62e1726c7c2de816)
+++ doc/bibliography/pl.bib	(revision d6b7d1d7f426ac21626324aad96b05fc80d0ab89)
@@ -1,2 +1,3 @@
+
 % Conventions: uncross-referenced entries appear first, then
 %    cross-referenced entries.  In both groups, entries are sorted by their
@@ -5850,5 +5851,5 @@
     contributer	= {pabuhr@plg},
     author	= {Leslie Lamport},
-    title	= {A New Solution of Dijkstra's Concurrent Programming Problem},
+    title	= {A New Solution of {D}ijkstra's Concurrent Programming Problem},
     journal	= cacm,
     month	= aug,
@@ -6809,4 +6810,17 @@
     year	= 1981,
     series	= {Series in Computer Science}
+}
+
+@inproceedings{Damas82,
+    contributer	= {pabuhr@plg},
+    author	= {Luis Damas and Robin Milner},
+    title	= {Principal Type-Schemes for Functional Programs},
+    publisher	= {Association for Computing Machinery},
+    address	= {New York, NY, USA},
+    booktitle	= {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+    location	= {Albuquerque, New Mexico},
+    series	= {POPL'82}
+    year	= 1982,
+    pages	= {207-212},
 }