This is an unofficial reimagining of the Archive of Formal Proofs
Minimal Static Single Assignment Formby Max Wagner and Denis Lohner