06thieselpp.pdf matrix.pdf 04thieselpp.pdf 05thieselpp.pdf Thiesel04-premprog-def.pdf