-
1von: Winston, Wayne L.[2022], 2nd edition, Princeton University Press
-
2
-
3
-
4von: Chlipala, Adam[2013], The MIT Press
-
5von: MacCormick, John2018, Princeton University Press
-
6von: Bosch, Torie[2022], Princeton University Press