Efektové algebry - Smolka, Richard (2016)
Vedoucí práce: Jan Paseka