Formal foundations of correct programming. - Novitzká, Valéria (Elfa, spol. s r.o., 1999)