Důkazové úlohy v analytické geometrii - Staněk, Miroslav (1993)
Vedoucí práce: Josef Janyška