O teórii korektného programovania - Novitzká, Valerie (Elfa, 2003)