Fix references to formal ledger specs

CIP-1854/CIP-1854.md

@@ -26,7 +26,7 @@ Multisig | Shorthand for Multi-party signature scheme.
 
 ## Overview 
 
-Multisig wallets are Cardano wallets capable of providing and tracking keys involved in multi-parties transactions. Such transactions are used to move funds from addresses where (typically) more than one user must sign transactions for its funds to be spent. A simple analogue is a joint bank account where two account holders must approve withdrawals from the account. Cardano has native support for multi-signature schemes: funds at a multi-signature script address are owned by a monetary script, which specifies one or more combinations of cryptographic signatures which must be present to unlock funds at the address (see the [Shelley Ledger Spec, figure 5][delegation_design.pdf]. In a similar fashion, Cardano multisig scripts can also be used to capture stake rights on a particular address, shared between different parties. 
+Multisig wallets are Cardano wallets capable of providing and tracking keys involved in multi-parties transactions. Such transactions are used to move funds from addresses where (typically) more than one user must sign transactions for its funds to be spent. A simple analogue is a joint bank account where two account holders must approve withdrawals from the account. Cardano has native support for multi-signature schemes: funds at a multi-signature script address are owned by a monetary script, which specifies one or more combinations of cryptographic signatures which must be present to unlock funds at the address (see the [Formal Ledger Spec, Figure 4: Multi-signature via Native Scripts][ledger-spec.pdf]). In a similar fashion, Cardano multisig scripts can also be used to capture stake rights on a particular address, shared between different parties.
 
 In the Shelley era, Cardano offers six (partially overlapping) primitives for constructing monetary scripts which are summarized as the following grammar:
 
@@ -223,12 +223,12 @@ None yet.
 
 # Related Work
 
-Description                             | Link
----                                     | ---
-BIP-0032 - HD Wallets                   | https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki
-CIP-5 - Common Bech32 Prefixes          | https://github.com/cardano-foundation/CIPs/tree/master/CIP5
-CIP-1852 - Cardano HD Wallets           | https://github.com/cardano-foundation/CIPs/tree/master/CIP1852
-Shelley Delegation Design               | https://hydra.iohk.io/build/4425240/download/1/delegation_design_spec.pdf
+Description                                  | Link
+---                                          | ---
+BIP-0032 - HD Wallets                        | https://github.com/bitcoin/bips/blob/master/bip-0032.mediawiki
+CIP-5 - Common Bech32 Prefixes               | https://github.com/cardano-foundation/CIPs/tree/master/CIP5
+CIP-1852 - Cardano HD Wallets                | https://github.com/cardano-foundation/CIPs/tree/master/CIP1852
+A Formal Specification of the Cardano Ledger | https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec
 
 
 # Copyright
@@ -241,5 +241,5 @@ CC-BY-4.0
 [CIP-5]: https://github.com/cardano-foundation/CIPs/tree/master/CIP5
 [CIP-1852]: https://github.com/cardano-foundation/CIPs/blob/master/CIP-1852/CIP-1852.md
 [CIP-11]: https://github.com/cardano-foundation/CIPs/blob/master/CIP-0011/CIP-0011.md
-[delegation_design.pdf]: https://hydra.iohk.io/build/4425240/download/1/delegation_design_spec.pdf
+[ledger-spec.pdf]: https://hydra.iohk.io/job/Cardano/cardano-ledger-specs/shelleyLedgerSpec/latest/download-by-type/doc-pdf/ledger-spec
 [SLIP-0044]: https://github.com/satoshilabs/slips/blob/master/slip-0044.md