add mkdocs nav entries

Author: williamdemeo

build-tools/static/mkdocs/mkdocs.yml

@@ -298,11 +298,14 @@ nav:
       - Properties: Ledger.Dijkstra.Specification.Utxo.Properties.md
       - Properties/:
         - Computational: Ledger.Dijkstra.Specification.Utxo.Properties.Computational.md
+        - Base: Ledger.Dijkstra.Specification.Utxo.Properties.Base.md
+        - PoV: Ledger.Dijkstra.Specification.Utxo.Properties.PoV.md
     - Utxow: Ledger.Dijkstra.Specification.Utxow.md
     - Utxow/:
       - Properties: Ledger.Dijkstra.Specification.Utxow.Properties.md
       - Properties/:
         - Computational: Ledger.Dijkstra.Specification.Utxow.Properties.Computational.md
+        - PoV: Ledger.Dijkstra.Specification.Utxow.Properties.PoV.md
 - Appendix:
   - Background:
     - Definitions: Definitions.md

src/Ledger/Dijkstra/Specification/Utxow.lagda.md

@@ -543,3 +543,10 @@ pattern UTXOW-legacy-⋯ p₀ p₁ p₂ p₃ p₄ p₅ p₆ p₇ p₈ p₉ p₁
 pattern SUBUTXOW-⋯ p₀ p₁ p₂ p₃ p₄ p₅ p₆ p₇ p₈ p₉ p₁₀ p₁₁ h = SUBUTXOW (p₀ , p₁ , p₂ , p₃ , p₄ , p₅ , p₆ , p₇ , p₈ , p₉ , p₁₀ , p₁₁ , h)
 ```
 -->
+
+# References {#references .unnumbered}
+
+**\[VK21\]** <span id="alonzo-ledger-spec"
+label="alonzo-ledger-spec"></span> Polina Vinogradova and Andre Knispel.
+*A Formal Specification of the Cardano Ledger integrating Plutus Core*.
+2021.