Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 38f6e667bfd37befd74edf74143b970f6cc331e1)
+++ doc/bibliography/pl.bib	(revision 737bf737154ccbbd457126f5c3fe477216ece460)
@@ -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},
 }