Hinweis auf andere Versuche
Suche nach Williamson
Paper von Holzmann
TODO: Historie
TODO: Anwendungen
- bei Williamson-Beweis ergänzt
Paper von Mahato
Herkunft der Matrizen aus Mahato hergeleitet
TODO entfernt