http://lucy.troja.mff.cuni.cz/labtf/poznamky/
http://urtax.ms.mff.cuni.cz/~novap2am/poznamky/
http://artax.karlin.mff.cuni.cz/~zajio1am/notes/
http://fmfi-uk.hq.sk/