Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 7611631c1ed3f861feb1c82089e4604ab0d74177)
+++ doc/bibliography/pl.bib	(revision 0393fda8cd4ef8e0811b9035990f83c2271392e8)
@@ -302,4 +302,16 @@
     year	= 2016,
     note	= {\url{https://docs.adacore.com/live/wave/arm12/pdf/arm12/arm-12.pdf}},
+}
+
+@manual{Ada22,
+    keywords	= {ISO/IEC Ada},
+    contributer	= {pabuhr@plg},
+    author	= {Ada22},
+    title	= {Ada Reference Manual},
+    edition	= {4th},
+    organization= {AXE Consultants},
+    address	= {Madison WI, USA},
+    year	= 2023,
+    note	= {\url{https://docs.adacore.com/live/wave/arm22/pdf/arm22/arm-22.pdf}},
 }
 
@@ -3921,13 +3933,10 @@
     address	= {USA},
     volume	= {13},
-    number	= {1–2},
+    number	= {1-2},
     journal	= {Higher Order Symbol. Comput.},
     year	= {2000},
     month	= apr,
-    pages	= {11–49},
-}
-
-  
-
+    pages	= {11-49},
+}
 
 @article{Eisenberg72,